On the role of logical connectives for primality and functional completeness of algebras of logics

DOI10.1016/J.INS.2009.12.015MaRDI QIDQ2269795zbMATHOpenAlexFDO

Authors Ivan Chajda, Radomír Halaš, Ivo G. Rosenberg

Publication date 11 March 2010

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ins.2009.12.015

zbMATH Keywords

functional completenessimplicationfinite algebramaximal cloneprimalitydual strict negation

Mathematics Subject Classification ID

Operations and polynomials in algebraic structures, primal algebras (08A40) Algebraic logic (03G99)

Recommendations

• Completeness of order algebras
• Functional completeness in pseudocomplemented De Morgan algebras
• scientific article; zbMATH DE number 59352
• Criteria of functional completeness for meta-algebras without assignments of logical constants
• Completeness Theorems for Universal and Implicational Logics of Algebras Via Congruences

Cites work

• scientific article; zbMATH DE number 3150816 (Why is no real title available?)
• scientific article; zbMATH DE number 3865278 (Why is no real title available?)
• scientific article; zbMATH DE number 3582215 (Why is no real title available?)
• scientific article; zbMATH DE number 1472777 (Why is no real title available?)
• scientific article; zbMATH DE number 922613 (Why is no real title available?)
• scientific article; zbMATH DE number 3217917 (Why is no real title available?)
• scientific article; zbMATH DE number 5041282 (Why is no real title available?)
• scientific article; zbMATH DE number 3231913 (Why is no real title available?)
• scientific article; zbMATH DE number 3317731 (Why is no real title available?)
• BCI-implicative ideals of BCI-algebras
• Function Algebras on Finite Sets
• Functional completeness of bounded structures of fuzzy logic with wvt-operators
• Fuzzy filters and fuzzy prime filters of bounded \(R\ell \)-monoids and pseudo BL-algebras
• Fuzzy implicative and Boolean filters of \(R_{0}\) algebras
• Fuzzy logic. Mathematical tools for approximate reasoning
• Globalization of intuitionistic set theory
• On \(v\)-filters and normal \(v\)-filters of a residuated lattice with a weak \(vt\)-operator
• Redefined fuzzy implicative filters
• Semilattice structures.
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• \(TL\)-filters of integral residuated \(l\)-monoids

Cited in

(7)

• Zero-place operations and functional completeness, and the definition of new connectives
• A notion of functional completeness for first order structures. II: Quasiprimality
• The Słupecki criterion by duality
• Systemic approach to fuzzy logic formalization for approximate reasoning
• Functional completeness in pseudocomplemented De Morgan algebras
• Completeness Theorems for Universal and Implicational Logics of Algebras Via Congruences
• Completeness of order algebras

This page was built for publication: On the role of logical connectives for primality and functional completeness of algebras of logics

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