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):
Displayed 4 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)
- The theory of the process of explanation generalized to include the inconsistent case (Q2576384) (← links)