Glivenko like theorems in natural expansions of BCK-logic
From MaRDI portal
Publication:4459591
DOI10.1002/MALQ.200310082zbMATH Open1045.03026OpenAlexW2149406562MaRDI QIDQ4459591FDOQ4459591
Antoni Torrens, Roberto 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
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
- Natural deduction systems of some logics with truth-value gluts and truth-value gaps
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other algebras related to logic (03G25) BCK-algebras, BCI-algebras (06F35)
Cited In (33)
- Glivenko theorems revisited
- A note on some filters in residuated lattices
- Projectivity in (bounded) commutative integral residuated lattices
- Generalized Bosbach and Riečan states on nucleus-based-Glivenko 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
- Frame definability in finitely valued modal logics
- 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
- Glivenko theorems for substructural logics over FL
- Boolean representation of bounded BCK-algebras
- Free algebras in varieties of Stonean residuated lattices
- Relative negations in non-commutative fuzzy structures
- Interior and closure operators on bounded residuated lattices
- Valued quantum B-algebras
- Regular elements and Kolmogorov translation in residuated lattices
- \(L\)-algebras, self-similarity, and \(l\)-groups
- A general Glivenko theorem
- Title not available (Why is that?)
- 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
- Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops
- Semisimplicity and the discriminator in bounded BCK-algebras
- An approach to Glivenko's theorem in algebraizable logics
- Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
- 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)