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

(44)

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

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)