Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Aristizábal, Manuel Sierra"'
Autor:
Aristizabal, Manuel Sierra
In this paper, the deductive system for double propositional logic DL and gamma DL existential graphs are presented. It rigorously proves the consistency of the DL and that the DL theorems correspond exactly to the valid existential graphs of gamma D
Externí odkaz:
http://arxiv.org/abs/2312.06673
Autor:
Aristizábal, Manuel Sierra
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 operator and an alternate negation operator and is not valid for the princi
Externí odkaz:
http://arxiv.org/abs/2310.02035
Autor:
Aristizabal, Manuel Sierra
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, with this tool the nodes of the corresponding tree are marked, and i
Externí odkaz:
http://arxiv.org/abs/2310.01989
Autor:
Aristizábal, Manuel Sierra
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) by semantic forcing trees match valid (or invalid) formulas by the usu
Externí odkaz:
http://arxiv.org/abs/2309.16015