Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules
From MaRDI portal
Publication:3478389
DOI10.2307/2274852zbMath0701.03013OpenAlexW1990344678MaRDI QIDQ3478389
Publication date: 1989
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274852
Related Items (7)
On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions ⋮ Partial arithmetical data types of rational numbers and their equational specification ⋮ Eager Equality for Rational Number Arithmetic ⋮ Near-equational and equational systems of logic for partial functions. I ⋮ Algebraic theory of quasivarieties of heterogeneous partial algebras ⋮ HSP-type characterization of strong equational classes of partial algebras ⋮ Strong regular varieties of partial algebras
Cites Work
This page was built for publication: Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules
