Results 11 to 20 of about 1,037 (173)

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   +5 more sources

Metainferential Paraconsistency [PDF]

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   +7 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   +3 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

Gently Paraconsistent Calculi [PDF]

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   +2 more sources

Paraconsistency in the Logic sqŁ^*

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   +2 more sources

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   +2 more sources

Paraconsistency [PDF]

, 2022
Paraconsistency is the study of logical systems with a non-explosive negation such that a pair of contradictory formulas (with respect to such negation) does not necessarily imply triviality, discordant to what would be expected by contemporary logical ...
Testa, Rafael R.
openaire   +2 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   +2 more sources

The Dialogical Approach to Paraconsistency

Synthese, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Rahman, Shahid, Carnielli, W.
openaire   +3 more sources