Abstract
A signed ∑-equation is an expression of the form t ≈ t′ or t ≉ t′, where t and t′ are ∑-terms (for some ranked set ∑). We characterize those classes of ∑-algebras which are models of a set of signed ∑-equations. Further we consider the problem of finding a complete deductive system analogous to equational logic for the logical consequence operation restricted to signed equations.
Similar content being viewed by others
References
S. L. Bloom and E. Tindell, Varieties of if — then — else, IBM Research Report, RC 8803, April 1981, to appear in SIAM J. Computing.
G. Grätzer, Universal Algebra, Van Nostrand, Princeton, NJ, 1968.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bloom, S.L. A note on the logic of signed equations. Stud Logica 41, 75–81 (1982). https://doi.org/10.1007/BF00373494
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00373494