3 papers
math.LO2023
Caracterización semántico-deductiva de la lógica doble LD y los gráficos existenciales Gamma-LD
Manuel Sierra Aristizábal
This work presents the deductive system Double Propositional Logic, LD, along with the semantics of possible worlds that characterize it. LD includes an alternate affirmation opera…
math.LO2023
Arboles de Forzamiento Semántico Trivalentes para el sistema deductivo paraconsistente P1
Manuel Sierra Aristizabal
The semantics of trivalent truth tables for the paraconsistent logic system P1, is characterized by a visual inference tool called trivalent semantic forcing trees. Given a formula…
math.LO2023
Arboles de Forzamiento Semántico para la Logica de Predicados
Manuel Sierra Aristizábal
Model semantics for first-order predicate logic is characterized by a visual inference tool called semantic forcing trees for predicate logic. Formulas that are valid (or invalid)…