Results 11 to 20 of about 21,381 (239)
Truth in a Logic of Formal Inconsistency: How classical can it get? [PDF]
Logic Journal of the IGPL, 2018 AbstractWeakening classical logic is one of the most popular ways of dealing with semantic paradoxes. Their advocates often claim that such weakening does not affect non-semantic reasoning. Recently, however, Halbach and Horsten (2006) have shown that this is actually not the case for Kripke’s fixed-point theory based on the Strong Kleene evaluation ...
LM Picollo
+6 more sources
Paraconsistency properties in degree-preserving fuzzy logics [PDF]
, 2014 Paraconsistent logics are specially tailored to deal with inconsistency, while fuzzy logics primarily deal with graded truth and vagueness. Aiming to find logics that can handle inconsistency and graded truth at once, in this paper we explore the notion ...
Ertola, Rodolfo +4 more
core +3 more sources
From logics of formal inconsistency to logics of formal classicality
Logic Journal of the IGPL, 2018 Abstract One of the oldest systems of paraconsistent logic is the set of so-called C-systems of Newton da Costa, and this has been generalized into a family of systems now known as logics of formal inconsistencies by Walter Carnielli, Marcelo Coniglio and João Marcos.
Hitoshi Omori
openaire +2 more sources
Volume II: New advances in Logics of Formal Inconsistency
Logic Journal of the IGPL, 2019 Fil: Carnielli, Walter.
Barrio, Eduardo Alejandro +1 more
openaire +3 more sources
A game theoretical semantics for a logic of formal inconsistency [PDF]
Logic Journal of the IGPL, 2018 Abstract This paper introduces a game theoretical semantics for a particular logic of formal inconsistency called mbC.
Baskent, Can +1 more
openaire +2 more sources
Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency [PDF]
37th International Symposium on Multiple-Valued Logic (ISMVL'07), 2007 Paraconsistent logic is the study of contradictory yet non-trivial theories. One of the best-known approaches to designing useful paraconsistent logics is da Costa's approach, which has led to the family of logics of formal inconsistency (LFIs), where the notion of inconsistency is expressed at the object level.
Arnon Avron, Anna Zamansky
openaire +2 more sources
The Review of Symbolic Logic, 2014 AbstractThis paper investigates the question of characterizing first-orderLFIs (logics of formal inconsistency) by means of two-valued semantics.LFIs are powerful paraconsistent logics that encode classical logic and permit a finer distinction between contradictions and inconsistencies, with a deep involvement in philosophical and foundational ...
WALTER CARNIELLI +3 more
openaire +3 more sources
Tableau systems for logics of formal inconsistency
, 2001 The logics of formal inconsistency (LFI's) are logics that allow to explicitly formalize the concepts of consistency and inconsistency by means of formulas of their language. Contradictoriness, on the other hand, can always be expressed in any logic, provided its language includes a symbol for negation.
Carnielli, Walter A. +1 more
openaire +3 more sources
Volume I: Recovery operators in logics of formal inconsistency
Logic Journal of the IGPL, 2019 Fil: Barrio, Eduardo Alejandro. Consejo Nacional de Investigaciones Cientificas y Tecnicas. Oficina de Coordinacion Administrativa Parque Centenario. Instituto de Investigaciones Filosoficas. - Sociedad Argentina de Analisis Filosofico.
Barrio, Eduardo Alejandro +1 more
openaire +3 more sources