Resolution approximation of first-order logics

DOI10.1016/0890-5401(92)90049-LzbMath0755.03006MaRDI QIDQ1187026

Zbigniew Stachniak

Publication date: 28 June 1992

Published in: Information and Computation (Search for Journal in Brave)

zbMATH Keywords

logical matriceseffective algorithmstrongly finite logicsminimal resolution approximationresolution-proof system

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (1)

An essay on resolution logics

Cites Work

• Completely non-clausal theorem proving
• Theory of logical calculi. Basic theory of consequence operations
• An algebraic approach to non-classical logics
• A note on direct products and ultraproducts of logical matrices
• On products of structures for generalized logics
• Special relations in automated deduction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Resolution approximation of first-order logics