Pages that link to "Item:Q5955615"
From MaRDI portal
The following pages link to Shortcuts and dynamic marking in the tableau method for adaptive logics (Q5955615):
Displaying 8 items.
- Socratic proofs and paraconsistency: A case study (Q813092) (← links)
- On the exclusivity implicature of `or' or on the meaning of eating strawberries (Q817676) (← links)
- A procedural criterion for final derivability in inconsistency-adaptive logics (Q1775872) (← links)
- Rasiowa-Sikorski deduction systems with the rule of cut: a case study (Q2422312) (← links)
- The theory of the process of explanation generalized to include the inconsistent case (Q2576384) (← links)
- Frontier Theory of Inquiry: Apparent Conflicts Between the Ghent Logical Program and the “Darwinian” Selectionist Program (Q3295788) (← links)
- 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 (Q4586169) (← links)
- Tutorial on Inconsistency-Adaptive Logics (Q5241516) (← links)
