Pages that link to "Item:Q1344882"
From MaRDI portal
The following pages link to The liberalized \(\delta\)-rule in free variable semantic tableaux (Q1344882):
Displayed 4 items.
- A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux (Q877883) (← links)
- A tableau prover for domain minimization (Q1344878) (← links)
- On the intuitionistic force of classical search (Q1575923) (← links)
- Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\) (Q2577589) (← links)