Pages that link to "Item:Q5187859"
From MaRDI portal
The following pages link to Automated Reasoning with Analytic Tableaux and Related Methods (Q5187859):
Displaying 11 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)
- Dialogues, strategies, and intuitionistic provability (Q1061740) (← links)
- Hypersequents, logical consequence and intermediate logics for concurrency (Q1354077) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- (Q3584007) (← links)
- Dialogue interpretation of the classical predicate calculus (Q4368450) (← links)
- Dialogue Games for Minimal Logic (Q5013625) (← links)
- Connecting Sequent Calculi with Lorenzen-Style Dialogue Games (Q5024728) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705945) (← links)