Correo Electrónico
DNINFOA - SIA
Bibliotecas
Convocatorias
Identidad U.N.
Publicado
CARACTERIZACIÓN SEMANTICA DE LOS ÁRBOLES DE FORZAMIENTO SEMÁNTICO PARA LA LÓGICA DE PREDICADOS
SEMANTIC CHARACTERIZATION OF SEMANTIC FORCING TREES FOR PREDICATE LOGIC
DOI:
https://doi.org/10.15446/rev.fac.cienc.v13n2.110336Palabras clave:
Arbol de forzamiento, Semántica, predicados monádicos, valoración (es)forcing tree, monadic predicate, semantics, valuation (en)
Descargas
La semántica de modelos para la lógica de predicados monádicos de primer orden, es caracterizada por una herramienta de inferencia visual llamada árboles de forzamiento semántico para la lógica de predicados monádicos. Las fórmulas que resultan válidas (o inválidas) mediante los árboles de forzamiento semántico, coinciden con las fórmulas válidas (o inválidas) mediante la semántica de valoraciones usual. En el caso que, una fórmula sea inválida mediante un árbol de forzamiento, un modelo que la refuta está determinado por las marcas de las hojas de este árbol. Este resultado es extendido a la semántica de modelos para la lógica de predicados diádicos de primer orden con 2 variables.
Model semantics for first-order monadic predicate logic is characterized by a visual inference tool called semantic forcing trees for monadic predicate logic. Formulas that are valid (or invalid) by semantic forcing trees match valid (or invalid) formulas by the usual valuation semantics. In the event that the formula is invalid by a forcing tree, a model that refutes it is determined by the marks of the leaves of this tree. This result is extended to model semantics for first-order dyadic predicate logic with 2 variables.
Referencias
Areces, C., Figueira, D., Gorin, D. and Mera, S. (2009). Tableaux and Model Checking for Memory Logics. In: Giese, M., Waaler, A. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. Tableaux 2009. Lecture Notes in Computer Science, 5607. Springer. Berlin.
Barrero, T. y Carnielli, W. (2005). Tableaux sin refutación. Matemáticas: Enseñanza Universitaria. 13(2), 81-99.
Beth, E. (1962). Formal methods, an introduction to symbolic logic and to the study of effective operations in arithmetic and logic. Reidel Publishing, Dordrecht, 168p.
Bílková, M., Frittella, S., Kozhemiachenko, D. (2021). Constraint Tableaux for Two-Dimensional Fuzzy Logics. In: Das, A., Negri, S. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. Tableaux 2021. Lecture Notes in Computer Science, 12842. Springer, Cham.
Börger, E., Erich Grädel, E. and Gurevich, Y. (1997). The Classical Decision Problem. Springer-Verlag Berlin.
Britz, K. and VarzincZak, I. (2019). Reasoning with Contextual Defeasible ALC. Description Logics, 2373, paper 8.
Caicedo, X. (1990). Elementos de lógica y calculabilidad. Bogotá: Una empresa docente.
Carnielli, W. (1987). Systematization of finite many-valued logics through the method of tableaux. The Journal of Symbolic Logic. 52(2), 473-493.
Cassano, V., Pombo, C.G.L., Maibaum, T.S.E. (2015). A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules. In: De Nivelle, H. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. Tableaux 2015. Lecture Notes in Computer Science, 9323. Springer, Cham.
Church, A. (1936). A Note on the Entscheidungs problem. The Journal of Symbolic Logic. 1(1), 40-41.
Ferguson, T.M. (2021). Tableaux and Restricted Quantification for Systems Related to Weak Kleene Logic. In: Das, A., Negri, S. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2021. Lecture Notes in Computer Science, 12842. Springer, Cham.
Grätz, L. (2021). Analytic Tableaux for Non-deterministic Semantics. In: Das, A., Negri, S. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2021. Lecture Notes in Computer Science, 12842. Springer, Cham.
Grimaldi, R. (1998). Matemáticas discreta y combinatoria. México: Pearson Educación.
Hammer, E. (1996). Logic and visual information. Stanford University: Center for the Study of Linguistics and Information.
Henkin, L. (1949). The Completeness of the First-Order Functional Calculus. The Journal of Symbolic Logic. 14(3), 159-166.
Indrzejczak, A., Zawidzki, M. (2021). Tableaux for Free Logics with Descriptions. In: Das, A., Negri, S. (eds) Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2021. Lecture Notes in Computer Science, 12842. Springer, Cham.
Lowenheim, L. (1915). Über Moglichkeiten im Relativkalkül. Mathematische Annalen. 76, 447-471.
Smullyan, R. (1968). First order logic. Springer-Verlag, Berlin, 158p.
Sierra, M. (2001). Árboles de forzamiento semántico. Revista Universidad EAFIT. 37(123), 53-72.
Sierra, M. (2006). Caracterización deductiva de los árboles de forzamiento semántico. Revista Ingeniería y Ciencia. 2(3), 73-102.
Sierra, M. (2010). Argumentación deductiva con diagramas y árboles de forzamiento. Fondo Editorial Universidad EAFIT.
Sierra, M. (2017). Árboles de forzamiento semántico para operaciones entre conjuntos. Revista Facultad de Ciencias Básicas. 13(2), 72-82.
Sierra, M. (2019). Árboles de forzamiento semántico para la semántica de sociedades abiertas. Revista Facultad De Ciencias Básicas, 14(2), 91–99.
Van Dalen, D. (2004). Logic and Structure. Springer-Verlag Berlin Heidelberg.
Venn, J. (1880). On the Diagrammatic and Mechanical Representation of Propositions and Reasonings. The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science. 10(59), 1-18.
Cómo citar
APA
ACM
ACS
ABNT
Chicago
Harvard
IEEE
MLA
Turabian
Vancouver
Descargar cita
Licencia
Derechos de autor 2024 Revista de la Facultad de Ciencias
Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-SinDerivadas 4.0.
Los autores o titulares del derecho de autor de cada artículo confieren a la Revista de la Facultad de Ciencias de la Universidad Nacional de Colombia una autorización no exclusiva, limitada y gratuita sobre el artículo que una vez evaluado y aprobado se envía para su posterior publicación ajustándose a las siguientes características:
1. Se remite la versión corregida de acuerdo con las sugerencias de los evaluadores y se aclara que el artículo mencionado se trata de un documento inédito sobre el que se tienen los derechos que se autorizan y se asume total responsabilidad por el contenido de su obra ante la Revista de la Facultad de Ciencias, la Universidad Nacional de Colombia y ante terceros.
2. La autorización conferida a la revista estará vigente a partir de la fecha en que se incluye en el volumen y número respectivo de la Revista de la Facultad de Ciencias en el Sistema Open Journal Systems y en la página principal de la revista (https://revistas.unal.edu.co/index.php/rfc/index), así como en las diferentes bases e índices de datos en que se encuentra indexada la publicación.
3. Los autores autorizan a la Revista de la Facultad de Ciencias de la Universidad Nacional de Colombia para publicar el documento en el formato en que sea requerido (impreso, digital, electrónico o cualquier otro conocido o por conocer) y autorizan a la Revista de la Facultad de Ciencias para incluir la obra en los índices y buscadores que estimen necesarios para promover su difusión.
4. Los autores aceptan que la autorización se hace a título gratuito, por lo tanto renuncian a recibir emolumento alguno por la publicación, distribución, comunicación pública y cualquier otro uso que se haga en los términos de la presente autorización.
5. Todos los contenidos de la Revista de la Facultad de Ciencias, están publicados bajo la Licencia Creative Commons Atribución – No comercial – Sin Derivar 4.0.
MODELO DE CARTA DE PRESENTACIÓN y CESIÓN DE DERECHOS DE AUTOR
