Results 1 to 10 of about 21,415 (228)
Paraconsistency properties in degree-preserving fuzzy logics [PDF]
Soft Computing, 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
Paraconsistent Probabilities: Consistency, Contradictions and Bayes’ Theorem
Entropy, 2016 This paper represents the first steps towards constructing a paraconsistent theory of probability based on the Logics of Formal Inconsistency (LFIs).
Juliana Bueno-Soler, Walter Carnielli
doaj +1 more source
Manuscrito, 2019 In the literature, Weak Kleene logics are usually taken as three-valued logics. However, Suszko has challenged the main idea of many-valued logic claiming that every logic can be presented in a two-valued fashion.
BRUNO DA RÉ, DAMIAN SZMUC
doaj +1 more source
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 +1 more source
AGM-Like Paraconsistent Belief Change [PDF]
, 2017 Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle ...
Coniglio, Marcelo E. +2 more
core +1 more source
Models & Proofs: LFIs Without a Canonical Interpretations
Principia: An International Journal of Epistemology, 2018 In different papers, Carnielli, W. & Rodrigues, A. (2012), Carnielli, W. Coniglio, M. & Rodrigues, A. (2017) and Rodrigues & Carnielli, (2016) present two logics motivated by the idea of capturing contradictions as conflicting evidence.
Eduardo Alejandro Barrio
doaj +1 more source
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 +1 more source
Recovery operators, paraconsistency and duality [PDF]
, 2020 There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language ...
Carnielli, Walter A. +2 more
core
A Paraconsistent Higher Order Logic [PDF]
, 2003 Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there
A. Church +18 more
core +6 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 +2 more sources