A functional completeness theorem for De Morgan functions.
DOI10.1016/J.DAM.2013.08.006zbMATH Open1338.06011OpenAlexW1997507765MaRDI QIDQ741709FDOQ741709
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
Recommendations
functional completenessdisjunctive normal formsprecomplete classesmonotone Boolean functionsclosed classescomplete classesconjunctive normal formsDe Morgan functions
Boolean functions (06E30) Operations and polynomials in algebraic structures, primal algebras (08A40) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)
Cites Work
- Title not available (Why is that?)
- Lattice Theory: Foundation
- Title not available (Why is that?)
- Hyperidentities in algebras and varieties
- Algebras with hyperidentities of the variety of Boolean algebras
- Title not available (Why is that?)
- Hyperidentities of De Morgan algebras
- Title not available (Why is that?)
- Function Algebras on Finite Sets
- Monotone Boolean functions
- Lattices With Involution
- The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Universal algebra and applications in theoretical computer science
- A functional representation of free De Morgan algebras
- BINARY REPRESENTATIONS OF ALGEBRAS WITH AT MOST TWO BINARY OPERATIONS: A CAYLEY THEOREM FOR DISTRIBUTIVE LATTICES
- Algebras with hyperidentities of the variety of De Morgan algebras.
- Subdirectly irreducible algebras with hyperidentities of the variety of De Morgan algebras.
- A CHARACTERIZATION OF de MORGAN ALGEBRAS
- Characterizations of closed classes of Boolean functions in terms of forbidden subfunctions and Post classes
- Title not available (Why is that?)
- HYPERIDENTITIES OF BOOLEAN ALGEBRAS
- A proof of Lyndon's finite basis theorem
- Post's functional completeness theorem
Cited In (13)
- Functional completeness in pseudocomplemented De Morgan algebras
- Super-De Morgan functions and free De Morgan quasilattices
- On zigzag De Morgan functions
- The number of monotone and self-dual Boolean functions.
- Boole-De Morgan bilattices
- Hyperidentities and related concepts. II
- Hyperidentities and related concepts. I
- Title not available (Why is that?)
- DeMorgan systems with an infinitely many negations in the strict monotone operator case
- Characterization of zigzag De Morgan functions
- A functional representation of free De Morgan algebras
- Boole-De Morgan algebras and quasi-De Morgan functions.
- De Morgan functions and free De Morgan algebras.
Uses Software
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)
