Pages that link to "Item:Q4459591"
From MaRDI portal
The following pages link to Glivenko like theorems in natural expansions of BCK-logic (Q4459591):
Displaying 34 items.
- Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras (Q278739) (← links)
- Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices (Q377479) (← links)
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts (Q422484) (← links)
- Generalized Bosbach and Riečan states based on relative negations in residuated lattices (Q427915) (← links)
- Some types of filters in MTL-algebras (Q427919) (← links)
- Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras) (Q622081) (← links)
- Free-decomposability in varieties of pseudocomplemented residuated lattices (Q763308) (← links)
- Relative negations in non-commutative fuzzy structures (Q890025) (← links)
- Glivenko theorem for \(N^\ast\)-extensions (Q890887) (← links)
- An approach to Glivenko's theorem in algebraizable logics (Q931403) (← links)
- Boolean representation of bounded BCK-algebras (Q934913) (← links)
- \(L\)-algebras, self-similarity, and \(l\)-groups (Q952544) (← links)
- Semisimplicity and the discriminator in bounded BCK-algebras (Q992009) (← links)
- Glivenko theorems revisited (Q1035660) (← links)
- A general Glivenko theorem (Q1047099) (← links)
- Quantum B-algebras: their omnipresence in algebraic logic and beyond (Q1701730) (← links)
- Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term (Q1935556) (← links)
- Ideals and involutive filters in generalizations of fuzzy structures (Q2013844) (← links)
- Double negation semantics for generalisations of Heyting algebras (Q2021570) (← links)
- Projectivity in (bounded) commutative integral residuated lattices (Q2108529) (← links)
- \(L\)-algebras and three main non-classical logics (Q2140578) (← links)
- Regular elements and Kolmogorov translation in residuated lattices (Q2257976) (← links)
- Bounded BCK-algebras of fractions and maximal BCK-algebra of quotients (Q2392560) (← links)
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) (Q2433099) (← links)
- Interior and closure operators on bounded residuated lattices (Q2440566) (← links)
- The subvariety of commutative residuated lattices represented by twist-products (Q2449445) (← links)
- BCI-implicative ideals of BCI-algebras (Q2456469) (← links)
- Free algebras in varieties of Stonean residuated lattices (Q2466756) (← links)
- Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops (Q2573726) (← links)
- A note on some filters in residuated lattices (Q2988454) (← links)
- Glivenko theorems for substructural logics over FL (Q3416119) (← links)
- (Q5410347) (← links)
- Frame definability in finitely valued modal logics (Q6040618) (← links)
- Valued quantum B-algebras (Q6061524) (← links)
