The following pages link to (Q2753598):
Displayed 7 items.
- First-order dialogical games and tableaux (Q484155) (← links)
- A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux (Q877883) (← links)
- \textsf{Goéland}: a concurrent tableau-based theorem prover (system description) (Q2104525) (← links)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- An efficient relational deductive system for propositional non-classical logics (Q3647245) (← links)
- Programming and verifying a declarative first-order prover in Isabelle/HOL (Q5145439) (← links)
- Graded tableaux for Rational Pavelka Logic (Q5717796) (← links)