A sound framework for -rule variants in free-variable semantic tableaux
From MaRDI portal
(Redirected from Publication:877883)
A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux
A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux
Recommendations
Cites work
- scientific article; zbMATH DE number 1341475 (Why is no real title available?)
- scientific article; zbMATH DE number 517067 (Why is no real title available?)
- scientific article; zbMATH DE number 1142316 (Why is no real title available?)
- scientific article; zbMATH DE number 1950267 (Why is no real title available?)
- scientific article; zbMATH DE number 1507185 (Why is no real title available?)
- scientific article; zbMATH DE number 1552511 (Why is no real title available?)
- scientific article; zbMATH DE number 837700 (Why is no real title available?)
- scientific article; zbMATH DE number 3274715 (Why is no real title available?)
- A Free Variable Version of the First-Order Predicate Calculus
- A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux
- First-order tableau methods
- Model elimination and connection tableau procedures
- Tableaux and related methods
- The liberalized -rule in free variable semantic tableaux
Cited in
(6)- scientific article; zbMATH DE number 517067 (Why is no real title available?)
- scientific article; zbMATH DE number 1507185 (Why is no real title available?)
- \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps
- A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux
- Efficient elimination of Skolem functions in \(\text{LK}^\text{h} \)
- The liberalized -rule in free variable semantic tableaux
This page was built for publication: A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q877883)