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

DOI10.1016/J.INS.2009.12.015zbMATH Open1206.03059OpenAlexW2092335410MaRDI QIDQ2269795FDOQ2269795

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

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

zbMATH Keywords

functional completenessimplicationfinite algebramaximal cloneprimalitydual strict negation

Mathematics Subject Classification ID

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

Cites Work

• BCI-implicative ideals of BCI-algebras
• Function Algebras on Finite Sets
• Title not available (Why is that?)
• Fuzzy implicative and Boolean filters of \(R_{0}\) algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
• Fuzzy logic. Mathematical tools for approximate reasoning
• On \(v\)-filters and normal \(v\)-filters of a residuated lattice with a weak \(vt\)-operator
• Title not available (Why is that?)
• Title not available (Why is that?)
• Semilattice structures.
• Redefined fuzzy implicative filters
• Title not available (Why is that?)
• \(TL\)-filters of integral residuated \(l\)-monoids
• Globalization of intuitionistic set theory
• Title not available (Why is that?)
• Fuzzy filters and fuzzy prime filters of bounded \(R\ell \)-monoids and pseudo BL-algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Functional completeness of bounded structures of fuzzy logic with wvt-operators

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)