scientific article; zbMATH DE number 4053706

MaRDI QIDQ3789626zbMATH OpenFDO

Authors V. Yu. Meskhi

Publication date 1987

zbMATH Keywords

conditional algebraconditional operator of programming languagesprocedural semantics

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Congruence modularity, congruence distributivity (08B10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4057585
• scientific article; zbMATH DE number 4218934
• Conditional terms and identities on universal algebras
• scientific article; zbMATH DE number 1286034
• Foundations of universal algebra.

Cited in

(10)

• Conditional terms and identities on universal algebras
• Equivalential algebras with conjunction on the regular elements
• Algebraic aspects and coherence conditions for conjoined and disjoined conditionals
• scientific article; zbMATH DE number 5841253 (Why is no real title available?)
• scientific article; zbMATH DE number 4218934 (Why is no real title available?)
• Evaluation trees for proposition algebra
• scientific article; zbMATH DE number 4057585 (Why is no real title available?)
• scientific article; zbMATH DE number 1972787 (Why is no real title available?)
• scientific article; zbMATH DE number 1534569 (Why is no real title available?)
• Conditions for permutability of congruences in implication algebras

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3789626)