Glivenko like theorems in natural expansions of BCK-logic
From MaRDI portal
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
(34)- 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
- 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
- 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
- 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
- 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
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)
