Shortcuts and dynamic marking in the tableau method for adaptive logics

DOI10.1023/A:1013865807250zbMath0991.03013OpenAlexW1574493781MaRDI QIDQ5955615

Joke Meheus, Diderik Batens

Publication date: 3 September 2002

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1013865807250

zbMATH Keywords

inconsistency-adaptive logicstableau method

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Paraconsistent logics (03B53)

Related Items

The discovery/justification context dichotomy within formal and computational models of scientific theories: a weakening of the distinction based on the perspective of non-monotonic logics, Rasiowa-Sikorski deduction systems with the rule of cut: a case study, Frontier Theory of Inquiry: Apparent Conflicts Between the Ghent Logical Program and the “Darwinian” Selectionist Program, A procedural criterion for final derivability in inconsistency-adaptive logics, Tutorial on Inconsistency-Adaptive Logics, The theory of the process of explanation generalized to include the inconsistent case, Socratic proofs and paraconsistency: A case study, On the exclusivity implicature of `or' or on the meaning of eating strawberries