Super-De Morgan functions and free De Morgan quasilattices

DOI10.2478/s11533-014-0445-7zbMath1346.08004OpenAlexW2033712930MaRDI QIDQ403200

Yuri M. Movsisyan, Vahagn A. Aslanyan

Publication date: 29 August 2014

Published in: Central European Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/s11533-014-0445-7

zbMATH Keywords

De Morgan algebraDe Morgan functionDe Morgan quasilatticehyper-De Morgan functionsuper-De Morgan function

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Other algebras related to logic (03G25) Boolean functions (06E30) Free algebras (08B20) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Varieties of lattices (06B20) Free lattices, projective lattices, word problems (06B25)

Related Items

Free Modal Pseudocomplemented De Morgan Algebras ⋮ Artin theorem for semigroups ⋮ A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices ⋮ Unnamed Item ⋮ Unnamed Item

Uses Software

• JBool

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebras with hyperidentities of the variety of De Morgan algebras.
• Subdirectly irreducible algebras with hyperidentities of the variety of De Morgan algebras.
• Multi-valued logic programming semantics An algebraic approach
• A functional completeness theorem for De Morgan functions.
• Hyperidentities and hypervarieties
• The value of the four values
• Handbook of algebra. Volume 2
• De Morgan functions and free De Morgan algebras.
• \(M\)-solid varieties of algebras
• Bilattices and hyperidentities
• SUPER-BOOLEAN FUNCTIONS AND FREE BOOLEAN QUASILATTICES
• CIRCUIT INTEGRATION THROUGH LATTICE HYPERTERMS
• The logic of distributive bilattices
• A Mathematical Setting for Fuzzy Logics
• Lattice Theory: Foundation
• Whitham systems and deformations
• A CHARACTERIZATION OF DEMORGAN BISEMIGROUP OF BINARY FUNCTIONS
• BINARY REPRESENTATIONS OF ALGEBRAS WITH AT MOST TWO BINARY OPERATIONS: A CAYLEY THEOREM FOR DISTRIBUTIVE LATTICES
• Hyperidentities in algebras and varieties
• Algebras with hyperidentities of the variety of Boolean algebras
• A CHARACTERIZATION OF de MORGAN ALGEBRAS
• Hyperidentities of De Morgan algebras
• Matrix Characterization of 4-Ary Algebraic Operations of Idempotent Algebras
• On homomorphisms of many-sorted algebraic systems in connection with cryptographic applications
• Boole–De Morgan Algebras and Quasi-De Morgan Functions
• Lattices With Involution

This page was built for publication: Super-De Morgan functions and free De Morgan quasilattices