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

DOI10.1016/J.INS.2009.12.015MaRDI QIDQ2269795zbMATH OpenOpenAlexFDO

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)

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

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)