Results 1 to 10 of about 21,282 (140)
Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account [PDF]
The Review of Symbolic Logic, 2021 One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found.
Carnielli, Walter +2 more
core +9 more sources
Logics of formal inconsistency arising from systems of fuzzy logic [PDF]
Logic Journal of IGPL, 2014 This paper proposes the meeting of fuzzy logic with paraconsistency in a very precise and foundational way. Specifically, in this paper we introduce expansions of the fuzzy logic MTL by means of primitive operators for consistency and inconsistency in ...
Coniglio, Marcelo +2 more
core +7 more sources
TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY [PDF]
Manuscrito, 2015 In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in ...
WALTER CARNIELLI, ABÍLIO RODRIGUES
doaj +5 more sources
Axiom (cc)0 and Verifiability in Two Extracanonical Logics of Formal Inconsistency [PDF]
Principia: An International Journal of Epistemology, 2018 In the field of logics of formal inconsistency (LFIs), the notion of “consistency” is frequently too broad to draw decisive conclusions with respect to the validity of many theses involving the consistency connective.
Thomas Macaulay Ferguson
doaj +4 more sources
Intuitionistic Implication and Logics of Formal Inconsistency
AxiomsLogics of Formal Inconsistency (LFI for short) are a class of paraconsistent logics that validate the principle of gentle explosion, meaning that any formula can be derived from the set of formulas: ∘α, α and ∼α. A unique feature of LFI is the use of the
Janusz Ciuciura
doaj +3 more sources
Fraïssé’s theorem for logics of formal inconsistency [PDF]
Logic Journal of the IGPL, 2018 Abstract We prove that the minimal Logic of Formal Inconsistency (LFI) $\mathsf{QmbC}$ (basic quantified logic of formal inconsistency) validates a weaker version of Fraïssé’s theorem (FT). LFIs are paraconsistent logics that relativize the Principle of Explosion only to consistent formulas.
Bruno R Mendonça, Walter A Carnielli
+10 more sources
On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness [PDF]
Studia Logica, 2022 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 paraconsistent and paracomplete.
Marcelo E. Coniglio +2 more
+5 more sources
Logics of formal inconsistency based on distributive involutive residuated lattices [PDF]
Journal of Logic and Computation, 2021 Abstract The aim of this paper is to develop an algebraic and logical study of certain paraconsistent systems, from the family of the logics of formal inconsistency (LFIs), which are definable from the degree-preserving companions of logics of distributive involutive residuated lattices ($\textrm {dIRL}$s) with a consistency operator ...
Francesc Esteva +3 more
openaire +3 more sources
An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency $$\mathsf {mbC}$$ [PDF]
Studia Logica, 2021 AbstractThe aim in this paper is to define an Abductive Question-Answer System for the minimal logic of formal inconsistency$$\mathsf {mbC}$$mbC. As a proof-theoretical basis we employ the Socratic proofs method. The system produces abductive hypotheses; these are answers to abductive questions concerning derivability of formulas from sets of formulas.
Chlebowski, Szymon +2 more
openaire +2 more sources
Logics of Formal Inconsistency [PDF]
, 2007 Segundo a pressuposicao de consistencia classica, as contradicoes tem um cara[c]ter explosivo; uma vez que estejam presentes em uma teoria, tudo vale, e nenhum raciocinio sensato pode entao ter lugar. Uma logica e paraconsistente se ela rejeita uma tal pressuposicao, e aceita ao inves que algumas teorias inconsistentes conquanto nao-triviais facam ...
Walter Carnielli +2 more
openaire +3 more sources