A tableau method for inconsistency-adaptive logics

DOI10.1007/10722086_13MaRDI QIDQ2721192zbMATH OpenFDO

Authors Diderik Batens, Joke Meheus

Publication date 1 July 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10722086_13

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Paraconsistent logics (03B53)

Recommendations

• scientific article; zbMATH DE number 1735919
• scientific article; zbMATH DE number 1303449
• Two new strategies for inconsistency-adaptive logics
• Tutorial on Inconsistency-Adaptive Logics
• scientific article; zbMATH DE number 2019872
• On algorithmic properties of propositional inconsistency-adaptive logics
• Tableau methods for substructural logics
• Tableau methods for modal and temporal logics
• scientific article; zbMATH DE number 1354099
• Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)

Cited in

(13)

• Yes fellows, most human reasoning is complex
• Tableau systems for paraconsistency and minimal inconsistency
• A procedural criterion for final derivability in inconsistency-adaptive logics
• Rasiowa-Sikorski deduction systems with the rule of cut: a case study
• The theory of the process of explanation generalized to include the inconsistent case
• Inconsistency-adaptive dialogical logic
• Two new strategies for inconsistency-adaptive logics
• scientific article; zbMATH DE number 2019872 (Why is no real title available?)
• Tutorial on Inconsistency-Adaptive Logics
• A method of defining paraconsistent tableaus
• Shortcuts and dynamic marking in the tableau method for adaptive logics
• Socratic proofs and paraconsistency: A case study
• Dual erotetic calculi and the minimal \(\mathsf{LFI}\)

This page was built for publication: A tableau method for inconsistency-adaptive logics

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