Boole-De Morgan bilattices

MaRDI QIDQ5863855zbMATH OpenFDO

Authors Yuri Movsisyan

Publication date 3 June 2022

Full work available at URL https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-38-number-1-2-2022/mvlsc-38-1-2-p-137-152/

zbMATH Keywords

bi-de Morgan functionBoole-de Morgan bilatticeBoolean functionD-functionde Morgan functiondisjunctive (conjunctive) normal formdistributive bilatticefree algebraquasi-de Morgan function

Mathematics Subject Classification ID

Free lattices, projective lattices, word problems (06B25) Structure and representation theory of distributive lattices (06D05) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Other generalizations of distributive lattices (06D75)

Recommendations

• A functional representation of free De Morgan algebras
• De Morgan functions and free De Morgan algebras.
• Boole-De Morgan algebras and quasi-De Morgan functions.
• A functional completeness theorem for De Morgan functions.
• scientific article; zbMATH DE number 58945

Cites work

• A CHARACTERIZATION OF de MORGAN ALGEBRAS
• A functional representation of free De Morgan algebras
• Algebras with hyperidentities of the variety of Boolean algebras
• Bilattices and hyperidentities
• BINARY REPRESENTATIONS OF ALGEBRAS WITH AT MOST TWO BINARY OPERATIONS: A CAYLEY THEOREM FOR DISTRIBUTIVE LATTICES
• Boole-De Morgan algebras and quasi-De Morgan functions.
• Distributive bilattices from the perspective of natural duality theory.
• Free De Morgan Bisemigroups and Bisemilattices
• scientific article; zbMATH DE number 5852793 (Why is no real title available?)
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3134289 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 19702 (Why is no real title available?)
• scientific article; zbMATH DE number 44051 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 521219 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• scientific article; zbMATH DE number 6257768 (Why is no real title available?)
• Hyperidentities in algebras and varieties
• HYPERIDENTITIES OF BOOLEAN ALGEBRAS
• Hyperidentities of De Morgan algebras
• Lattice Theory: Foundation
• Lattices With Involution
• Monotone Boolean functions
• Priestley duality for bilattices
• Superproducts, hyperidentities, and algebraic structures of logic programming
• The structure of interlaced bilattices
• The value of the four values

Cited in

(8)

• Logics for classes of Boolean monoids
• De Morgan functions and free De Morgan algebras.
• Extensionalism and induction in Boole
• Super-Boolean functions and free Boolean quasilattices.
• A functional representation of free De Morgan algebras
• scientific article; zbMATH DE number 4070860 (Why is no real title available?)
• Boole-De Morgan algebras and quasi-De Morgan functions.
• On the structure of idempotent algebras with an associative hyperidentity. Burnside varieties

Describes a project that uses

Uses Software

• JBool

This page was built for publication: Boole-De Morgan bilattices

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