The Logic of Equality

DOI10.2307/2321009zbMATH Open0376.02017OpenAlexW4233228248MaRDI QIDQ4154535FDOQ4154535

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)

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

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)