Boolean representation of bounded BCK-algebras
From MaRDI portal
Publication:934913
DOI10.1007/s00500-007-0261-0zbMath1160.06009OpenAlexW2028526045MaRDI QIDQ934913
Joan Gispert i Brasó, Antoni Torrens Torrell
Publication date: 30 July 2008
Published in: Soft Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00500-007-0261-0
Related Items (6)
Bounded BCK-algebras of fractions and maximal BCK-algebra of quotients ⋮ Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras) ⋮ Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Semisimplicity and the discriminator in bounded BCK-algebras
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Impossibility of defining the class of \(L_ 0\)-algebras by means of identities
- W-algebras which are Boolean products of members of SR[1 and CW- algebras]
- Boolean centre of a universal algebra
- An algebraic approach to non-classical logics
- On the quasivariety of BCK-algebras and its subvarieties
- Linearization of the BCK-logic
- Boolean products of BL-algebras
- Free algebras in varieties of BL-algebras with a Boolean retract.
- Boolean products of MV-algebras: hypernormal MV-algebras
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
- Free algebras in varieties of BL-algebras generated by a chain.
- Finitely generated congruence distributive quasivarieties of algebras
- Bounded BCK-algebras and their generated variety
- Algebraizable logics
- Global subdirect products
- PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
- Sheaf Constructions and Their Elementary Properties
- Glivenko like theorems in natural expansions of BCK-logic
- Characterization of discriminator varieties
- Free algebras in varieties of BL-algebras generated by a BLn-chain
- An algebra related with a propositional calculus
This page was built for publication: Boolean representation of bounded BCK-algebras
