The resolution rule: An algebraic perspective
- 7 June 2005
- book chapter
- Published by Springer Nature
- p. 227-242
- https://doi.org/10.1007/bfb0043087
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Resolution in the Domain of Strongly Finite LogicsFundamenta Informaticae, 1990
- Special relations in automated deductionJournal of the ACM, 1986
- Completely non-clausal theorem provingArtificial Intelligence, 1982
- A note on direct products and ultraproducts of logical matricesStudia Logica, 1974
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965
- Remarks on sentential logicsIndagationes Mathematicae, 1958