Functional completeness in pseudocomplemented De Morgan algebras

MaRDI QIDQ1087896zbMATH OpenFDO

Authors Klaus Denecke

Publication date 1987

Published in Beiträge zur Algebra und Geometrie (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/138364

zbMATH Keywords

finite simple pseudocomplemented Ockham algebrafunctionally complete algebraprimalitypseudocomplemented De Morgan algebras

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Operations and polynomials in algebraic structures, primal algebras (08A40)

Review text

A finite nontrivial algebra (A,F) is called functionally complete if for each \(n\geq 1\) every n-ary function on A is algebraic. It is well-known that every functionally complete algebra is simple. In the article under review the author shows that every finite simple pseudocomplemented Ockham algebra with at least two elements is functionally complete. In the second part, various forms of primality are studied in a subvariety of the class of pseudocomplemented de Morgan algebras.

Recommendations

• On the role of logical connectives for primality and functional completeness of algebras of logics
• scientific article; zbMATH DE number 1983419
• Completeness of order algebras
• A functional completeness theorem for De Morgan functions.
• scientific article; zbMATH DE number 1865601

Cited in

(12)

• Universal algebras
• On varieties generated by functionally complete algebras
• Functional completeness in iterative meta-algebras
• Functional completeness criteria in Dijkstra algebra
• Varieties of regular pseudocomplemented De Morgan algebras
• On the role of logical connectives for primality and functional completeness of algebras of logics
• Congruence properties of pseudocomplemented De Morgan algebras
• On functionally complete modal algebras related to M and S4
• scientific article; zbMATH DE number 1983419 (Why is no real title available?)
• Computer Science Logic
• Completeness of order algebras
• Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications

This page was built for publication: Functional completeness in pseudocomplemented De Morgan algebras

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