Equational propositional logic

DOI10.1016/0020-0190(94)00198-8zbMath0875.03034OpenAlexW2171349424MaRDI QIDQ674268

Fred B. Schneider, David Gries

Publication date: 28 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(94)00198-8

zbMATH Keywords

LogicTheorem provingCompletenessEquational reasoningSoundness

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05) Equational classes, universal algebra in model theory (03C05)

Related Items

Formal justification of underspecification for S5, The Formal System of Dijkstra and Scholten, Non-commutative first-order EQ-logics, POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES, Equational propositional logic, EQ-logics: non-commutative fuzzy logics based on fuzzy equality, On calculational proofs

Uses Software

• CalcCheck

Cites Work

• Equational propositional logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item