Glivenko like theorems in natural expansions of BCK-logic
From MaRDI portal
(Redirected from Publication:4459591)
Recommendations
- An approach to Glivenko's theorem in algebraizable logics
- Glivenko type theorems for intuitionistic modal logics
- scientific article; zbMATH DE number 874285
- Glivenko theorems for substructural logics over FL
- ON TWO EXTENSIONS OF THE LOGIC OF PROVABILITY GL
- Publication:3495340
- scientific article; zbMATH DE number 3889528
- scientific article; zbMATH DE number 3904588
- scientific article; zbMATH DE number 4204312
- Natural deduction systems of some logics with truth-value gluts and truth-value gaps
Cited in
(41)- Glivenko theorems revisited
- A note on some filters in residuated lattices
- Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices
- Projectivity in (bounded) commutative integral residuated lattices
- Generalized Bosbach and Riečan states based on relative negations in residuated lattices
- Bounded BCK-algebras of fractions and maximal BCK-algebra of quotients
- L-algebras and three main non-classical logics
- Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras
- A complete invariant system for Noetherian BL-algebras and more general L-algebras
- Conservation as translation
- Some types of filters in MTL-algebras
- The subvariety of commutative residuated lattices represented by twist-products
- Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras)
- Quantum B-algebras: their omnipresence in algebraic logic and beyond
- Frame definability in finitely valued modal logics
- Glivenko theorems for substructural logics over FL
- The symmetry action of a von Neumann algebra and its associated involutive L-algebra
- Boolean representation of bounded BCK-algebras
- Relative negations in non-commutative fuzzy structures
- Free algebras in varieties of Stonean residuated lattices
- Interior and closure operators on bounded residuated lattices
- Valued quantum B-algebras
- Regular elements and Kolmogorov translation in residuated lattices
- Glivenko theorem for \(N^\ast\)-extensions
- Unification via projectivity in varieties of hoops
- L-algebras, self-similarity, and l-groups
- A general Glivenko theorem
- BCI-implicative ideals of BCI-algebras
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
- Terms that define nuclei on residuated lattices: a case study of BL-algebras
- An alternative definition of tense operators on residuated lattices
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\)
- Double negation semantics for generalisations of Heyting algebras
- Semisimplicity and the discriminator in bounded BCK-algebras
- Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops
- An approach to Glivenko's theorem in algebraizable logics
- Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
- Interior and closure operators on commutative bounded residuated lattices
- Ideals and involutive filters in generalizations of fuzzy structures
- Free-decomposability in varieties of pseudocomplemented residuated lattices
- A topology related to implication and upsets on a bounded BCK-algebra
This page was built for publication: Glivenko like theorems in natural expansions of BCK-logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4459591)
