TY  - RPRT
TI  - Arboles de Forzamiento Semántico Trivalentes para el sistema deductivo paraconsistente P1
AU  - Manuel Sierra Aristizabal
PY  - 2023
UR  - https://arxiv.org/abs/2310.01989
ID  - 2310.01989
ER  -