Zobrazeno 1 - 10
of 223
pro vyhledávání: '"Coniglio, Marcelo"'
In this paper, we investigate proof-theoretic aspects of the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson's logic N and the logic of first-degree entailment FDE, also known as Belnap-Dunn four-valued logic, wi
Externí odkaz:
http://arxiv.org/abs/2405.20932
This paper provides a new decision procedure for intuitionistic propositional logic (IPL) based on a 3-valued restricted non-deterministic matrix and proves its soundness and completeness.
Comment: Several typos were corrected. Full proofs of so
Comment: Several typos were corrected. Full proofs of so
Externí odkaz:
http://arxiv.org/abs/2308.13664
Autor:
Coniglio, Marcelo E.
The aim of this paper is to combine several Ivlev-like modal systems characterized by 4-valued non-deterministic matrices (Nmatrices) with IDM4, a 4-valued expansion of Belnap-Dunn's logic FDE with an implication introduced by Pynko in 1999. In order
Externí odkaz:
http://arxiv.org/abs/2308.15426
Autor:
Coniglio, Marcelo, Figallo, Martín
Tetravalent modal logic (T ML) was introduced by Font and Rius in 2000; and it is an expansion of the Belnap-Dunn four{valued logic FOUR, a logical system that is well{known for the many applications it has been found in several fields. Besides, T ML
Externí odkaz:
http://arxiv.org/abs/2305.00130
We present in this paper an adaptation of the process of combination of logics known as fibring introduced by D. Gabbay. We are focused on the combination of two logics defined by matrix semantics, and based on pairs of functions that relate the logi
Externí odkaz:
http://arxiv.org/abs/2212.10615
Belnap-Dunn's relevance logic, BD, was designed seeking a suitable logical device for dealing with multiple information sources which sometimes may provide inconsistent and/or incomplete pieces of information. BD is a four-valued logic which is both
Externí odkaz:
http://arxiv.org/abs/2212.01677
The main aim of this paper is to introduce the logics of evidence and truth LETK+ and LETF+ together with a sound, complete, and decidable six-valued deterministic semantics for them. These logics extend the logics LETK and LETF- with rules of propag
Externí odkaz:
http://arxiv.org/abs/2209.12337
It is well known that there is a correspondence between sets and complete, atomic Boolean algebras (CABA's) taking a set to its power-set and, reciprocally, a complete, atomic Boolean algebra to its set of atomic elements. Of course, such a correspon
Externí odkaz:
http://arxiv.org/abs/2209.08158
The aim of this article is to generalize logics of formal inconsistency ($\textbf{LFI}$s) to systems dealing with the concept of incompatibility, expressed by means of a binary connective. The basic idea is that having two incompatible formulas to ho
Externí odkaz:
http://arxiv.org/abs/2202.10540
Ivlev's pioneering work started in the 1970's showed a new and promissory way in the study of modal logic from the perspective of many-valued logics. Continuing our previous work on Ivlev-like non-normal modal logics with non-deterministic semantics,
Externí odkaz:
http://arxiv.org/abs/2202.02136