Árboles de forzamiento semántico para la semántica de sociedades abiertas
Semantic forcing trees for semantics of open societies
QRCode
Compartir este ítem
Citación
Date
2019-12-03
Author
Siera Aristizabal, Manuel
Publisher
Universidad Militar Nueva Granada
Key words
árbol de forzamiento; sociedad abierta; semántica; forzamiento semántico
Metadata
Show full item recordResumen
La 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.
Abstract
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 tree
Enlace al recurso
http://revistas.unimilitar.edu.co/index.php/rfcb/article/view/3168https://doi.org/10.18359/rfcb.3168
Fuente
Revista Facultad de Ciencias Básicas; Vol. 14 No. 2 (2018); 91-99Revista Facultad de Ciencias Básicas; Vol. 14 Núm. 2 (2018); 91-99