The following pages link to (Q2753598):
Displayed 4 items.
- First-order dialogical games and tableaux (Q484155) (← links)
- A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux (Q877883) (← links)
- An efficient relational deductive system for propositional non-classical logics (Q3647245) (← links)
- Graded tableaux for Rational Pavelka Logic (Q5717796) (← links)