Pages that link to "Item:Q5187859"
From MaRDI portal
The following pages link to Automated Reasoning with Analytic Tableaux and Related Methods (Q5187859):
Displayed 6 items.
- A curious dialogical logic and its composition problem (Q484198) (← links)
- Dialogue games for many-valued logics -- an overview (Q1005947) (← links)
- Giles's game and the proof theory of Łukasiewicz logic (Q1037588) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- Dialogue Games for Minimal Logic (Q5013625) (← links)
- Connecting Sequent Calculi with Lorenzen-Style Dialogue Games (Q5024728) (← links)