Maximality and refutability

DOI10.1305/ndjfl/1095386644zbMath1088.03010OpenAlexW1964195343MaRDI QIDQ558425

Tom Skura

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

zbMATH Keywords

disjunction propertyparaconsistent logicsmaximal propositional logicsrefutation systemssymmetric inference systemssyntactic refutability

Mathematics Subject Classification ID

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