Glivenko like theorems in natural expansions of BCK-logic
From MaRDI portal
Publication:4459591
DOI10.1002/malq.200310082zbMath1045.03026OpenAlexW2149406562MaRDI QIDQ4459591
Antoni Torrens Torrell, Roberto L. O. Cignoli
Publication date: 29 March 2004
Published in: MLQ (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200310082
BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items
Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras ⋮ \(L\)-algebras and three main non-classical logics ⋮ Bounded BCK-algebras of fractions and maximal BCK-algebra of quotients ⋮ Generalized Bosbach and Riečan states on nucleus-based-Glivenko residuated lattices ⋮ Relative negations in non-commutative fuzzy structures ⋮ Frame definability in finitely valued modal logics ⋮ Valued quantum B-algebras ⋮ Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term ⋮ 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 ⋮ Generalized Bosbach and Riečan states based on relative negations in residuated lattices ⋮ Some types of filters in MTL-algebras ⋮ Quantum B-algebras: their omnipresence in algebraic logic and beyond ⋮ Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) ⋮ Interior and closure operators on bounded residuated lattices ⋮ A note on some filters in residuated lattices ⋮ The subvariety of commutative residuated lattices represented by twist-products ⋮ An approach to Glivenko's theorem in algebraizable logics ⋮ BCI-implicative ideals of BCI-algebras ⋮ Boolean representation of bounded BCK-algebras ⋮ Free algebras in varieties of Stonean residuated lattices ⋮ \(L\)-algebras, self-similarity, and \(l\)-groups ⋮ Regular elements and Kolmogorov translation in residuated lattices ⋮ Ideals and involutive filters in generalizations of fuzzy structures ⋮ Double negation semantics for generalisations of Heyting algebras ⋮ Semisimplicity and the discriminator in bounded BCK-algebras ⋮ Free-decomposability in varieties of pseudocomplemented residuated lattices ⋮ Glivenko theorems for substructural logics over FL ⋮ A general Glivenko theorem ⋮ Unnamed Item ⋮ Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops ⋮ Projectivity in (bounded) commutative integral residuated lattices