Shortcuts and dynamic marking in the tableau method for adaptive logics
From MaRDI portal
Publication:5955615
DOI10.1023/A:1013865807250zbMath0991.03013OpenAlexW1574493781MaRDI QIDQ5955615
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
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
