A system of logic for partial functions under existence-dependent kleene equality
From MaRDI portal
Publication:3813851
DOI10.2307/2274574zbMath0663.08004OpenAlexW2105047630MaRDI QIDQ3813851
No author found.
Publication date: 1988
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274574
Model-theoretic algebra (03C60) Equational logic, Mal'tsev conditions (08B05) Partial algebras (08A55)
Related Items (4)
Partial arithmetical data types of rational numbers and their equational specification ⋮ A completeness proof for a regular predicate logic with undefined truth value ⋮ Eager Equality for Rational Number Arithmetic ⋮ Near-equational and equational systems of logic for partial functions. I
Cites Work
This page was built for publication: A system of logic for partial functions under existence-dependent kleene equality