A sound framework for -rule variants in free-variable semantic tableaux
From MaRDI portal
Publication:877883
DOI10.1007/S10817-006-9045-YzbMATH Open1121.03020OpenAlexW1985365096MaRDI QIDQ877883FDOQ877883
Domenico Cantone, Marianna Nicolosi Asmundo
Publication date: 4 May 2007
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10817-006-9045-y
Recommendations
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Model elimination and connection tableau procedures
- Title not available (Why is that?)
- Title not available (Why is that?)
- Tableaux and related methods
- The liberalized \(\delta\)-rule in free variable semantic tableaux
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A sound framework for \(\delta\)-rule variants in free-variable semantic tableaux
- First-order tableau methods
- Title not available (Why is that?)
- A Free Variable Version of the First-Order Predicate Calculus
Cited In (6)
- Title not available (Why is that?)
- Title not available (Why is that?)
- \(\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 \(\delta\)-rule in free variable semantic tableaux
Uses Software
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)
