A propositional calculus for inconsistent deductive systems

Paraconsistent logics (03B53) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03)

Cited In (36)

Normalisation for Some Quite Interesting Many-Valued Logics
On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics
Logics of upsets of De Morgan lattices
Being Permitted, Inconsistencies, and Question Raising
Generalized correspondence analysis for three-valued logics
A Method of Generating Modal Logics Defining Jaśkowski’s Discussive D2 Consequence
A propositional system induced by Japaridze's approach to IF logic
Axiomatizing Jaśkowski's discussive logic \(\mathbf{D_2}\)
Paraconsistency and Sette’s calculus P1
Paraconsistent orbits of logics
A generalization of ordered-pair semantics
On modal opposition within some modal discussive logics
From Paraconsistent Logic to Dialetheic Logic
On the Methodology of Paraconsistent Logic
Classical negation and expansions of Belnap-Dunn logic
Axiomatizing a minimal discussive logic
On the system CB1 and a lattice of the paraconsistent calculi
Coping with inconsistencies in legal reasoning
Inconsistency lemmas in algebraic logic
On the discussive conjunction in the propositional calculus for inconsistent deductive systems
Contradictory Information: Better Than Nothing? The Paradox of the Two Firefighters
Title not available (Why is that?)
A Generalisation of a Refutation-related Method in Paraconsistent Logics
A Model-Theoretic Analysis of Fidel-Structures for mbC
A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
Sequent systems for negative modalities
On a paraconsistentization functor in the category of consequence structures
A Gricean Interpretation of Nāgārjuna’s Catuṣkoṭi and the No-Thesis View
On Modal Logics Defining Jaśkowski-Like Discussive Logics
Inquiry, Refutations and the Inconsistent
Negative Modalities in the Light of Paraconsistency
AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX
Title not available (Why is that?)
Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence
Voting and vagueness
Tolerating Inconsistencies: A Study of Logic of Moral Conflicts

   Recommendations

On the discussive conjunction in the propositional calculus for inconsistent deductive systems 👍 👎
A quasi-discursive system \(ND_2^+\) 👍 👎
Some results on Jaśkowski’s discursive logic 👍 👎
Stanisław Jaśkowski and Natural Deduction Systems 👍 👎
Logics of rejection: Two systems of natural deduction 👍 👎

This page was built for publication: A propositional calculus for inconsistent deductive systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3149166)