Pages that link to "Item:Q5187858"
From MaRDI portal
The following pages link to Automated Reasoning with Analytic Tableaux and Related Methods (Q5187858):
Displaying 5 items.
- Finite axiomatizability in Łukasiewicz logic (Q716501) (← links)
- Giles's game and the proof theory of Łukasiewicz logic (Q1037588) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Labelled Calculi for Łukasiewicz Logics (Q3511458) (← links)
- Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic (Q6107297) (← links)
