Árboles de forzamiento semántico para la semántica de sociedades abiertas

The semantics of open biassertive societies for the paraconsistent logic system P1, is characterized by a visual inference tool called semantic forcing trees for open societies. Given a formula, with this tool the nodes of the corresponding tree are marked, and it is determined whether the formula is valid or not. In case the formula is invalid, the society that refutes it is determined by the leaf markers in its forcing treeLa semántica de sociedades biasertivas abiertas para el sistema de lógica paraconsistente P1, es caracterizada por una herramienta de inferencia visual llamada árboles de forzamiento semántico para sociedades abiertas. Dada una fórmula, con esta herramienta se marcan los nodos del árbol asociado a la misma, y se determina si la fórmula es válida o no. En el caso que la fórmula sea inválida, la sociedad que la refuta está determinada por las marquillas de las hojas en su árbol de forzamiento.&nbsp