A Tutorial on Stålmarck's Proof Procedure for Propositional Logic

• 1 January 2000
• journal article
• Published by Springer Nature in Formal Methods in System Design
• Vol. 16  (1) , 23-58
• https://doi.org/10.1023/a:1008725524946

Abstract

Keywords

• MOTIVATETHE VARIOUS DESIGN DECISION
• ACOMMERCIAL TOOL
• INDUSTRIAL-SCALE VERIFICATION
• PROOF PROCEDURE
• REAL INDUSTRIALVERIFICATION PROJECT
• CLASSICAL PROPOSITIONAL LOGIC
• PROOF SYSTEM
• LARGE FORMULA
• PROOF COMPLEXITY