The Logic of Equality

DOI10.2307/2321009zbMATH Open0376.02017OpenAlexW4233228248MaRDI QIDQ4154535FDOQ4154535

Authors Leon Henkin 

Publication date 1977

Published in The American Mathematical Monthly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2321009

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) General logic (03B99)

Cited in

(16)

• Dynamic algebras: Examples, constructions, applications
• Equational theory of positive numbers with exponentiation is not finitely axiomatizable
• In Memoriam: Leon Albert Henkin 1921–2006
• Leon Henkin the reviewer
• A field guide to equational logic
• A note on definability in equational logic
• Which data types have \(\omega\)-complete initial algebra specifications?
• Leon Henkin
• Replacement in logic
• Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness
• Hilbert's tenth problem is of unification type zero
• An equational logic sampler
• Partial evaluation and \(\omega\)-completeness of algebraic specifications
• Identities common to four Abelian group operations with zero
• Axiomatic (and non-axiomatic) mathematics
• On finite alphabets and infinite bases

This page was built for publication: The Logic of Equality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4154535)