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)

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

Cited in

(36)

Negative modalities in the light of paraconsistency
Automated correspondence analysis for the binary extensions of the logic of paradox
Contradictory information: better than nothing? The paradox of the two firefighters
Generalized correspondence analysis for three-valued logics
On modal logics defining Jaśkowski-like discussive logics
Normalisation for some quite interesting many-valued logics
On the system CB\(^1\) and a lattice of the paraconsistent calculi
A method of generating modal logics defining Jaśkowski's discussive \(\mathbf{D}_{\mathbf{2}}\) consequence
A generalisation of a refutation-related method in paraconsistent logics
Bochvar's three-valued logic and literal paralogics: their lattice and functional equivalence
On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics
Axiomatizing a minimal discussive logic
On modal opposition within some modal discussive logics
A model-theoretic analysis of Fidel-structures for mbC
A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
Logics of upsets of De Morgan lattices
Classical negation and expansions of Belnap-Dunn logic
scientific article; zbMATH DE number 4197949 (Why is no real title available?)
Coping with inconsistencies in legal reasoning
Axiomatizing Jaśkowski's discussive logic \(\mathbf{D_2}\)
A generalization of ordered-pair semantics
Paraconsistency and Sette's calculus P1
On the discussive conjunction in the propositional calculus for inconsistent deductive systems
From paraconsistent logic to dialetheic logic
On the methodology of paraconsistent logic
Sequent systems for negative modalities
Being permitted, inconsistencies, and question raising
Inquiry, refutations and the inconsistent
Paraconsistent orbits of logics
scientific article; zbMATH DE number 1534491 (Why is no real title available?)
Voting and vagueness
A propositional system induced by Japaridze's approach to IF logic
A Gricean Interpretation of Nāgārjuna’s Catuṣkoṭi and the No-Thesis View
Tolerating Inconsistencies: A Study of Logic of Moral Conflicts
On a paraconsistentization functor in the category of consequence structures
Inconsistency lemmas in algebraic logic

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)