Á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
Fecha
2019-12-03
Autor
Siera Aristizabal, Manuel
Publicador
Universidad Militar Nueva Granada
Palabras claves
árbol de forzamiento; sociedad abierta; semántica; forzamiento semántico
Metadatos
Mostrar el registro completo del ítemResumen
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