Results 11 to 20 of about 2,727 (208)

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 ...
Francesc Esteva, Tommaso Flaminio, Lluis Godo   +2 more
exaly   +6 more sources

Metainferential Paraconsistency

Logic and Logical Philosophy, 2022
In this article, our aim is to take a step towards a full understanding of the notion of paraconsistency in the context of metainferential logics. Following the work initiated by Barrio et al.
Bruno Da Ré, Mariela Rubin, Paula Teijeiro   +2 more
semanticscholar   +5 more sources

Paraconsistency in the Logic sqŁ^* [PDF]

Axioms
The logic sqŁ* is closely related to complex fuzzy sets. In this paper, we continue our study on sqŁ* by establishing a system that includes all formulas with values 0 in sqŁ*. This system has paraconsistent formulas within sqŁ*.
Lei Cai, Wenjuan Chen
doaj   +3 more sources

Inconsistency, Paraconsistency and ?-Inconsistency [PDF]

Principia: An International Journal of Epistemology, 2018
In this paper I’ll explore the relation between ?-inconsistency and plain inconsistency, in the context of theories that intend to capture semantic concepts. In particular, I’ll focus on two very well known inconsistent but non-trivial theories of truth:
Bruno Da Ré
doaj   +7 more sources

Recovery operators, paraconsistency and duality [PDF]

Logic Journal of the IGPL, 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 ...
Walter Carnielli, Marcelo Esteban Coniglio, Abilio Rodrigues Filho   +2 more
exaly   +4 more sources

Conjunctive paraconsistency [PDF]

SynthÈse, 2021
This article is a preliminary presentation of conjunctive paraconsistency, the claim that there might be non-explosive true contradictions, but contradictory propositions cannot be considered separately true.
Franca D'agostini
exaly   +3 more sources

Remarks on the Epistemic Interpretation of Paraconsistency Logic [PDF]

Principia: An International Journal of Epistemology, 2018
In a recent work, Walter Carnielli and Abilio Rodrigues present an epistemically motivated interpretation of paraconsistent logic. In their view, when there is conflicting evidence with regard to a proposition A (i.e.
Nicolás Lo Guercio, Damian Szmuc
doaj   +3 more sources

Paraconsistency, Evidence and Semantic Incompleteness

Análisis Filosófico
In this paper, we argue that the systems Basic Logic of Evidence (BLE) and Logic of Evidence and Truth (LETJ) suffer a kind of semantic incompleteness with respect to the informal notion of evidence.
Edson Bezerra
doaj   +4 more sources

Negation-Free Definitions of Paraconsistency [PDF]

Non-Classical Logic. Theory and Applications, 2022
Paraconsistency is commonly defined and/or characterized as the failure of a principle of explosion. The various standard forms of explosion involve one or more logical operators or connectives, among which the negation operator is the most frequent.
Sankha S. Basu, Sayantan Roy
openalex   +3 more sources

Proof-theoretic aspects of paraconsistency with strong consistency operator [PDF]

Studia Logica: An International Journal for Symbolic Logic, 2023
In order to develop efficient tools for automated reasoning with inconsistency (theorem provers), eventually making Logics of Formal inconsistency (LFI) a more appealing formalism for reasoning under uncertainty, it is important to develop the proof ...
Victoria Arce Pistone, Martín Figallo
openalex   +3 more sources