Pages that link to "Item:Q3149166"
From MaRDI portal
The following pages link to A propositional calculus for inconsistent deductive systems (Q3149166):
Displaying 33 items.
- Classical negation and expansions of Belnap-Dunn logic (Q495842) (← links)
- Voting and vagueness (Q516326) (← links)
- On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics (Q831227) (← links)
- Generalized correspondence analysis for three-valued logics (Q1632053) (← links)
- Sequent systems for negative modalities (Q1682296) (← links)
- Axiomatizing Jaśkowski's discussive logic \(\mathbf{D_2}\) (Q1756595) (← links)
- A generalization of ordered-pair semantics (Q2148827) (← links)
- Paraconsistent orbits of logics (Q2239383) (← links)
- Paraconsistency and Sette’s calculus P1 (Q2987739) (← links)
- A Method of Generating Modal Logics Defining Jaśkowski’s Discussive D2 Consequence (Q3295786) (← links)
- Inquiry, Refutations and the Inconsistent (Q3305308) (← links)
- A Model-Theoretic Analysis of Fidel-Structures for mbC (Q3305664) (← links)
- Contradictory Information: Better Than Nothing? The Paradox of the Two Firefighters (Q3305666) (← links)
- (Q4517273) (← links)
- On a paraconsistentization functor in the category of consequence structures (Q4586164) (← links)
- AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX (Q4600826) (← links)
- A propositional system induced by Japaridze's approach to IF logic (Q4644501) (← links)
- Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence (Q4683207) (← links)
- A Generalisation of a Refutation-related Method in Paraconsistent Logics (Q4683226) (← links)
- On the system CB1 and a lattice of the paraconsistent calculi (Q5006825) (← links)
- Normalisation for Some Quite Interesting Many-Valued Logics (Q5013635) (← links)
- (Q5202984) (← links)
- From Paraconsistent Logic to Dialetheic Logic (Q5213760) (← links)
- On the Methodology of Paraconsistent Logic (Q5213765) (← links)
- On Modal Logics Defining Jaśkowski-Like Discussive Logics (Q5241525) (← links)
- Being Permitted, Inconsistencies, and Question Raising (Q5241537) (← links)
- Negative Modalities in the Light of Paraconsistency (Q5350350) (← links)
- Inconsistency lemmas in algebraic logic (Q5396222) (← links)
- Axiomatizing a minimal discussive logic (Q6057625) (← links)
- A Gricean Interpretation of Nāgārjuna’s Catuṣkoṭi and the No-Thesis View (Q6098743) (← links)
- Logics of upsets of De Morgan lattices (Q6140751) (← links)
- On modal opposition within some modal discussive logics (Q6600394) (← links)
- Coping with inconsistencies in legal reasoning (Q6618559) (← links)