A note on the logic of signed equations

DOI10.1007/BF00373494zbMath0509.03015OpenAlexW2055403575MaRDI QIDQ1838475

Stephen L. Bloom

Publication date: 1982

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00373494

zbMATH Keywords

equational logiccompleteness theoremlogical consequence operationsigned equations

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) General logic (03B99)

Cites Work

• Varieties of ”If-Then-Else“

This page was built for publication: A note on the logic of signed equations