A functional completeness theorem for De Morgan functions.

DOI10.1016/J.DAM.2013.08.006MaRDI QIDQ741709zbMATH OpenOpenAlexFDO

Authors Yuri Movsisyan, V. A. Aslanyan

Publication date 12 September 2014

Published in Discrete Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.dam.2013.08.006

zbMATH Keywords

functional completenessdisjunctive normal formsprecomplete classesmonotone Boolean functionsclosed classescomplete classesconjunctive normal formsDe Morgan functions

Mathematics Subject Classification ID

Boolean functions (06E30) Operations and polynomials in algebraic structures, primal algebras (08A40) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Recommendations

• De Morgan functions and free De Morgan algebras.
• A functional representation of free De Morgan algebras
• Boole-De Morgan algebras and quasi-De Morgan functions.
• Super-De Morgan functions and free De Morgan quasilattices
• scientific article; zbMATH DE number 1865601

Cites work

• scientific article; zbMATH DE number 5852793 (Why is no real title available?)
• scientific article; zbMATH DE number 3134289 (Why is no real title available?)
• scientific article; zbMATH DE number 3663202 (Why is no real title available?)
• scientific article; zbMATH DE number 44051 (Why is no real title available?)
• scientific article; zbMATH DE number 46653 (Why is no real title available?)
• scientific article; zbMATH DE number 49297 (Why is no real title available?)
• scientific article; zbMATH DE number 1744270 (Why is no real title available?)
• scientific article; zbMATH DE number 3204690 (Why is no real title available?)
• A CHARACTERIZATION OF de MORGAN ALGEBRAS
• A functional representation of free De Morgan algebras
• A proof of Lyndon's finite basis theorem
• Algebras with hyperidentities of the variety of Boolean algebras
• Algebras with hyperidentities of the variety of De Morgan algebras.
• BINARY REPRESENTATIONS OF ALGEBRAS WITH AT MOST TWO BINARY OPERATIONS: A CAYLEY THEOREM FOR DISTRIBUTIVE LATTICES
• Characterizations of closed classes of Boolean functions in terms of forbidden subfunctions and Post classes
• Function Algebras on Finite Sets
• HYPERIDENTITIES OF BOOLEAN ALGEBRAS
• Hyperidentities in algebras and varieties
• Hyperidentities of De Morgan algebras
• Lattice Theory: Foundation
• Lattices With Involution
• Monotone Boolean functions
• Post's functional completeness theorem
• Subdirectly irreducible algebras with hyperidentities of the variety of De Morgan algebras.
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• Universal algebra and applications in theoretical computer science

Cited in

(13)

• DeMorgan systems with an infinitely many negations in the strict monotone operator case
• scientific article; zbMATH DE number 120345 (Why is no real title available?)
• The number of monotone and self-dual Boolean functions.
• Hyperidentities and related concepts. II
• De Morgan functions and free De Morgan algebras.
• On zigzag De Morgan functions
• Super-De Morgan functions and free De Morgan quasilattices
• Characterization of zigzag De Morgan functions
• A functional representation of free De Morgan algebras
• Functional completeness in pseudocomplemented De Morgan algebras
• Boole-De Morgan bilattices
• Boole-De Morgan algebras and quasi-De Morgan functions.
• Hyperidentities and related concepts. I

Describes a project that uses

Uses Software

• JBool

This page was built for publication: A functional completeness theorem for De Morgan functions.

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