Zobrazeno 1 - 10
of 133
pro vyhledávání: '"CONIGLIO, MARCELO E."'
This paper addresses the integration of \emph{epistemic entrenchment} into paraconsistent belief revision systems based on Logics of Formal Inconsistency (LFIs). While systems like AGMp and AGM$\circ$ adapt AGM principles to paraconsistency, they lac
Externí odkaz:
http://arxiv.org/abs/2412.06117
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
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
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
Autor:
Coniglio, Marcelo E., Figallo, Martín
Publikováno v:
In Fuzzy Sets and Systems 1 March 2025 503
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
In a previous article we introduced the concept of restricted Nmatrices (in short, RNmatrices), which generalize Nmatrices in the following sense: a RNmatrix is a Nmatrix together with a {\em subset} of valuations over it, from which the consequence
Externí odkaz:
http://arxiv.org/abs/2112.13281