Maximality and refutability

DOI10.1305/NDJFL/1095386644MaRDI QIDQ558425zbMATH OpenOpenAlexFDO

Authors 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

paraconsistent logicsdisjunction propertymaximal propositional logicsrefutation systemssymmetric inference systemssyntactic refutability

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Subsystems of classical logic (including intuitionistic logic) (03B20) Abstract deductive systems (03B22) Intermediate logics (03B55)

Recommendations

• Maximality in modal logic
• scientific article; zbMATH DE number 7184880
• Maximal-element rationalizability
• A Mid Version of Hamkins' Maximality Principle
• On maximal theories
• On a class of maximality principles
• Maximal theories
• Maximality of linear continuous logic
• Maximality principles in set theory
• Maximality principles: theory and practice

Cites work

• scientific article; zbMATH DE number 31604 (Why is no real title available?)
• scientific article; zbMATH DE number 549807 (Why is no real title available?)
• scientific article; zbMATH DE number 1471996 (Why is no real title available?)
• scientific article; zbMATH DE number 3031479 (Why is no real title available?)
• scientific article; zbMATH DE number 3066797 (Why is no real title available?)
• On the theory of inconsistent formal systems
• Refutation calculi for certain intermediate propositional logics
• Refutations, proofs, and models in the modal logic K4
• Semantical investigations in Heyting's intuitionistic logic
• The disjunction property of intermediate propositional logics

Cited in

(6)

• Structuring co-constructive logic for proofs and refutations
• A generalisation of a refutation-related method in paraconsistent logics
• Maximal-element rationalizability
• Implicational Logic, Relevance, and Refutability
• \(n\)-valued maximal paraconsistent matrices
• A refutation theory

This page was built for publication: Maximality and refutability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q558425)