The Logic of Equality
From MaRDI portal
Publication:4154535
DOI10.2307/2321009zbMath0376.02017OpenAlexW4233228248MaRDI QIDQ4154535
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
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) General logic (03B99)
Related Items (16)
Partial evaluation and \(\omega\)-completeness of algebraic specifications ⋮ An equational logic sampler ⋮ Leon Henkin the Reviewer ⋮ A note on definability in equational logic ⋮ Replacement in logic ⋮ Equational theory of positive numbers with exponentiation is not finitely axiomatizable ⋮ On finite alphabets and infinite bases ⋮ Dynamic algebras: Examples, constructions, applications ⋮ Hilbert's tenth problem is of unification type zero ⋮ A field guide to equational logic ⋮ Tools for proving inductive equalities, relative completeness, and \(\omega\)-completeness ⋮ In Memoriam: Leon Albert Henkin 1921–2006 ⋮ Leon Henkin ⋮ Axiomatic (and non-axiomatic) mathematics ⋮ Which data types have \(\omega\)-complete initial algebra specifications? ⋮ Identities common to four Abelian group operations with zero
This page was built for publication: The Logic of Equality
