A functional completeness theorem for De Morgan functions.

DOI10.1016/J.DAM.2013.08.006zbMATH Open1338.06011OpenAlexW1997507765MaRDI QIDQ741709FDOQ741709

V. A. Aslanyan, Yuri Movsisyan

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lattice Theory: Foundation
• Hyperidentities in algebras and varieties
• Algebras with hyperidentities of the variety of Boolean algebras
• Hyperidentities of De Morgan algebras
• Function Algebras on Finite Sets
• Monotone Boolean functions
• Lattices With Involution
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• Universal algebra and applications in theoretical computer science
• 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
• HYPERIDENTITIES OF BOOLEAN ALGEBRAS
• A proof of Lyndon's finite basis theorem
• Post's functional completeness theorem

Cited In (6)

• Super-De Morgan functions and free De Morgan quasilattices
• Boole–De Morgan Algebras and Quasi-De Morgan Functions
• The number of monotone and self-dual Boolean functions.
• Characterization of zigzag De Morgan functions
• Title not available (Why is that?)
• Title not available (Why is that?)

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)