Glivenko theorems for substructural logics over FL

DOI10.2178/jsl/1164060460zbMath1109.03016MaRDI QIDQ3416119

Hiroakira Ono, Nikolaos Galatos

Publication date: 19 January 2007

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.98.4368

zbMATH Keywords

substructural logic; Glivenko's theorem; full Lambek calculus; Kolmogorov translation; pointed residuated lattice; basic-logic algebra; double negation interpretation; Glivenko translation

Mathematics Subject Classification ID

03G10: Logical aspects of lattices and related structures

06F05: Ordered semigroups and monoids

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

Related Items

Algebraic Kripke-style semantics for relevance logics, Cut elimination and strong separation for substructural logics: an algebraic approach, An approach to Glivenko's theorem in algebraizable logics, Glivenko theorems revisited, Glivenko theorems and negative translations in substructural predicate logics, Fuzzy logics from substructural perspective, Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL, Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited

Cites Work

• Metamathematics of fuzzy logic
• Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
• A survey of abstract algebraic logic
• Generalized MV-algebras
• Negative equivalence of extensions of minimal logic
• Algebraic foundations of many-valued reasoning
• The parameterized local deduction theorem for quasivarieties of algebras and its application
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Cancellative residuated lattices
• Minimal varieties of residuated lattices
• THE STRUCTURE OF RESIDUATED LATTICES
• Glivenko like theorems in natural expansions of BCK-logic