Results 11 to 20 of about 2,394 (173)
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é +2 more
semanticscholar +4 more sources
Conjunctive paraconsistency [PDF]
Synthese, 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
semanticscholar +2 more sources
A Note on Fernández–Coniglio’s Hierarchy of Paraconsistent Systems
Axioms, 2020 A logic is called explosive if its consequence relation validates the so-called principle of ex contradictione sequitur quodlibet. A logic is called paraconsistent so long as it is not explosive.
Janusz Ciuciura
doaj +4 more sources
Paraconsistent Transition Systems
Electronic Proceedings in Theoretical Computer Science, 2023 In Proceedings LSFA 2022, arXiv:2303 ...
Cruz, Ana +2 more
openaire +4 more sources
Axioms, 2020 In this paper, we consider some paraconsistent calculi in a Hilbert-style formulation with the rule of detachment as the sole rule of interference.
Janusz Ciuciura
doaj +1 more source
Negation-Free Definitions of Paraconsistency [PDF]
Non-Classical Logic. Theory and Applications, 2021 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
semanticscholar +1 more source
Ideal Paraconsistent Logics [PDF]
Studia Logica, 2011 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
A. Avron, O. Arieli, A. Zamansky
openaire +2 more sources
Weak consistency and strong paraconsistency
tripleC: Communication, Capitalism & Critique, 2009 In a standard sense, consistency and paraconsistency are understood as, respectively, the absence of any contradiction and as the absence of the ECQ (“E contradictione quodlibet”) rule that allows us to conclude any well formed formula from any ...
Gemma Robles
doaj +1 more source
The dawn of paraconsistency: Russia's logical thought in the turn of XX century
Manuscrito, 2011 The paper deals with the factors which enabled N. A. Vasiliev to put forward in 1910 - 12 the idea of logics free of the laws of contradiction and excluded middle, the idea of metalogic and to construct his imaginary logic as novel non-classical system ...
Valentin A. Bazhanov
doaj +1 more source
Kripke-Style Models for Logics of Evidence and Truth
Axioms, 2020 In this paper, we propose Kripke-style models for the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson’s logic N4 and the logic of first-degree entailment (FDE) with a classicality operator ∘ that recovers classical ...
Henrique Antunes +3 more
doaj +1 more source