Glivenko theorems for substructural logics over FL
DOI10.2178/jsl/1164060460zbMath1109.03016OpenAlexW2135641508MaRDI 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
substructural logicGlivenko's theoremfull Lambek calculusKolmogorov translationpointed residuated latticebasic-logic algebradouble negation interpretationGlivenko translation
Logical aspects of lattices and related structures (03G10) Ordered semigroups and monoids (06F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (18)
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
This page was built for publication: Glivenko theorems for substructural logics over FL