A propositional calculus for inconsistent deductive systems
From MaRDI portal
Recommendations
Cited in
(44)- Generalized correspondence analysis for three-valued logics
- Sequent systems for negative modalities
- Axiomatizing Jaśkowski's discussive logic \(\mathbf{D_2}\)
- A generalization of ordered-pair semantics
- Paraconsistent orbits of logics
- Paraconsistency and Sette's calculus P1
- On the discussive conjunction in the propositional calculus for inconsistent deductive systems
- A method of generating modal logics defining Jaśkowski's discussive \(\mathbf{D}_{\mathbf{2}}\) consequence
- 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
- scientific article; zbMATH DE number 1534491 (Why is no real title available?)
- On a paraconsistentization functor in the category of consequence structures
- Automated correspondence analysis for the binary extensions of the logic of paradox
- A propositional system induced by Japaridze's approach to IF logic
- Bochvar's three-valued logic and literal paralogics: their lattice and functional equivalence
- A generalisation of a refutation-related method in paraconsistent logics
- Classical negation and expansions of Belnap-Dunn logic
- On the system CB^1 and a lattice of the paraconsistent calculi
- Normalisation for some quite interesting many-valued logics
- Voting and vagueness
- scientific article; zbMATH DE number 4197949 (Why is no real title available?)
- 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
- Negative modalities in the light of paraconsistency
- Inconsistency lemmas in algebraic logic
- Axiomatizing a minimal discussive 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
- Logics of upsets of De Morgan lattices
- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus
- On modal opposition within some modal discussive logics
- Coping with inconsistencies in legal reasoning
- Relative contradictoriness
- Exploring Jaśkowski's discussive logic. Proof analysis and related remarks
- Computer-aided searching for a tabular many-valued discussive logic -- matrices
- The disjunction-free fragment of \(\mathbf{D}_2\) is three-valued
- 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
- Nested sequent calculi for some modal logics with non-standard modalities
- Connexivity and the pragmatics of conditionals
- On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics
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)
