Constructing the lattice of subalgebras of the Dijkstra algebra

DOI10.1007/BF02665937zbMATH Open0906.03065OpenAlexW2047886071MaRDI QIDQ1264604FDOQ1264604

Authors: G. E. Tsejtlin 

Publication date: 19 November 1998

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

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

Recommendations

• Functional completeness criteria in Dijkstra algebra
• scientific article; zbMATH DE number 3868602
• scientific article; zbMATH DE number 59352
• A series of maximum subalgebras of direct products of algebras of finite-valued logics

zbMATH Keywords

functional completenesslattice of subalgebrasexpressibilityclosed classesDijkstra algebrastructure schemes

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Abstract data types; algebraic specification (68Q65)

Cites Work

• Functional completeness criteria in Dijkstra algebra

This page was built for publication: Constructing the lattice of subalgebras of the Dijkstra algebra

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