A propositional calculus for inconsistent deductive systems

DOI10.12775/LLP.1999.003zbMATH Open1013.03004OpenAlexW1990115729MaRDI QIDQ3149166FDOQ3149166

Authors: Stanislaw Jaskowski 

Publication date: 2 July 2003

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.1999.003

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

zbMATH Keywords

modal logicparaconsistent logicimplicationconditionalpropositional calculus

Mathematics Subject Classification ID

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

Cited In (36)

• A generalisation of a refutation-related method in paraconsistent logics
• On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular 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
• 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 generalization of ordered-pair semantics
• A model-theoretic analysis of Fidel-structures for mbC
• On modal opposition within some modal discussive logics
• Classical negation and expansions of Belnap-Dunn logic
• Paraconsistency and Sette's calculus P1
• Normalisation for some quite interesting many-valued logics
• Axiomatizing a minimal discussive logic
• Inquiry, refutations and the inconsistent
• Coping with inconsistencies in legal reasoning
• Inconsistency lemmas in algebraic logic
• On the discussive conjunction in the propositional calculus for inconsistent deductive systems
• Being permitted, inconsistencies, and question raising
• Title not available (Why is that?)
• 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
• 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
• Title not available (Why is that?)
• On the system CB\(^1\) and a lattice of the paraconsistent calculi
• Voting and vagueness
• Tolerating Inconsistencies: A Study of Logic of Moral Conflicts
• A method of generating modal logics defining Jaśkowski's discussive \(\mathbf{D}_{\mathbf{2}}\) consequence

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)