A propositional calculus for inconsistent deductive systems
From MaRDI portal
Publication:3149166
DOI10.12775/LLP.1999.003zbMath1013.03004OpenAlexW1990115729MaRDI QIDQ3149166
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
Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03) Paraconsistent logics (03B53)
Related Items (28)
On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics ⋮ Generalized correspondence analysis for three-valued logics ⋮ A generalization of ordered-pair semantics ⋮ Sequent systems for negative modalities ⋮ On a paraconsistentization functor in the category of consequence structures ⋮ Axiomatizing a minimal discussive logic ⋮ Negative Modalities in the Light of Paraconsistency ⋮ 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 ⋮ Logics of upsets of De Morgan lattices ⋮ AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX ⋮ Paraconsistency and Sette’s calculus P1 ⋮ A Method of Generating Modal Logics Defining Jaśkowski’s Discussive D2 Consequence ⋮ Classical negation and expansions of Belnap-Dunn logic ⋮ Inquiry, Refutations and the Inconsistent ⋮ A Model-Theoretic Analysis of Fidel-Structures for mbC ⋮ Contradictory Information: Better Than Nothing? The Paradox of the Two Firefighters ⋮ Paraconsistent orbits of logics ⋮ Voting and vagueness ⋮ Axiomatizing Jaśkowski's discussive logic \(\mathbf{D_2}\) ⋮ Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence ⋮ A Generalisation of a Refutation-related Method in Paraconsistent Logics ⋮ From Paraconsistent Logic to Dialetheic Logic ⋮ On the Methodology of Paraconsistent Logic ⋮ On Modal Logics Defining Jaśkowski-Like Discussive Logics ⋮ Being Permitted, Inconsistencies, and Question Raising ⋮ On the system CB1 and a lattice of the paraconsistent calculi ⋮ Normalisation for Some Quite Interesting Many-Valued Logics
This page was built for publication: A propositional calculus for inconsistent deductive systems
