Maximality and refutability

DOI10.1305/NDJFL/1095386644zbMATH Open1088.03010OpenAlexW1964195343MaRDI QIDQ558425FDOQ558425

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

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

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)

Cites Work

• On the theory of inconsistent formal systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Semantical investigations in Heyting's intuitionistic logic
• The disjunction property of intermediate propositional logics
• Refutation calculi for certain intermediate propositional logics
• Refutations, proofs, and models in the modal logic K4
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (6)

• Structuring co-constructive logic for proofs and refutations
• Maximal-element rationalizability
• Implicational Logic, Relevance, and Refutability
• A Generalisation of a Refutation-related Method in Paraconsistent Logics
• 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)