The even more liberalized δ-rule in free variable Semantic Tableaux
- 11 June 2005
- book chapter
- Published by Springer Nature
- p. 108-119
- https://doi.org/10.1007/bfb0022559
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- First-Order Logic and Automated Theorem ProvingPublished by Springer Nature ,1990
- First-order modal tableauxJournal of Automated Reasoning, 1988
- First-Order LogicPublished by Springer Nature ,1968