On the Soundness and Completeness of Equational Predicate Logics

DOI10.1093/logcom/11.4.623zbMath1006.03007OpenAlexW2022355938MaRDI QIDQ2761754

George Tourlakis

Publication date: 7 January 2002

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/11.4.623

zbMATH Keywords

completenessequational logicsoundnessLeibniz ruleformalizationscalculational logicequational predicate logic

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Related Items (3)

The Logic of U ·(TP)2 ⋮ The Formal System of Dijkstra and Scholten ⋮ Non-commutative first-order EQ-logics

This page was built for publication: On the Soundness and Completeness of Equational Predicate Logics