A propositional calculus for inconsistent deductive systems
From MaRDI portal
Recommendations
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)
