Maximality and refutability
From MaRDI portal
Publication:558425
DOI10.1305/ndjfl/1095386644zbMath1088.03010OpenAlexW1964195343MaRDI QIDQ558425
Publication date: 6 July 2005
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1095386644
disjunction propertyparaconsistent logicsmaximal propositional logicsrefutation systemssymmetric inference systemssyntactic refutability
Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53) Intermediate logics (03B55)
Related Items
A refutation theory ⋮ n-valued maximal paraconsistent matrices ⋮ A Generalisation of a Refutation-related Method in Paraconsistent Logics ⋮ Implicational Logic, Relevance, and Refutability ⋮ Structuring co-constructive logic for proofs and refutations
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Refutation calculi for certain intermediate propositional logics
- Semantical investigations in Heyting's intuitionistic logic
- The disjunction property of intermediate propositional logics
- Refutations, proofs, and models in the modal logic K4
- On the theory of inconsistent formal systems