An essay on resolution logics
From MaRDI portal
Publication:687163
DOI10.1007/BF01058394zbMath0807.03006MaRDI QIDQ687163
Publication date: 5 March 1995
Published in: Studia Logica (Search for Journal in Brave)
propositional logicresolution principlenonclassical logicsmatrix semanticsconsequence operationsrefutationally complete resolution proof systemresolution logics
Mechanization of proofs and logical operations (03B35) Complexity of computation (including implicit computational complexity) (03D15)
Cites Work
- Completely non-clausal theorem proving
- Resolution approximation of first-order logics
- Theory of logical calculi. Basic theory of consequence operations
- Extending resolution to resolution logics
- Special relations in automated deduction
- A Machine-Oriented Logic Based on the Resolution Principle
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item