Hostname: page-component-78c5997874-dh8gc Total loading time: 0 Render date: 2024-11-14T06:39:54.363Z Has data issue: false hasContentIssue false
  • English
  • Français

Glivenko theorems for substructural logics over FL

Published online by Cambridge University Press:  12 March 2014

Nikolaos Galatos  and
Hiroakira Ono
Nikolaos Galatos
Affiliation:
Japan Advanced Institute of Science and Technology School, of Information Science, 1-1 Asahidai, Nomi, Ishikawa, 923-1292, Japan, E-mail: galatos@jaist.ac.jp
Hiroakira Ono
Affiliation:
Japan Advanced Institute of Science and Technology School, of Information Science, 1-1 Asahidai, Nomi, Ishikawa, 923-1292, Japan, E-mail: ono@jaist.ac.jp
Get access Rights & Permissions [Opens in a new window]

Abstract

It is well known that classical propositional logic can be interpreted in intuitionistic prepositional logic. In particular Glivenko's theorem states that a formula is provable in the former iff its double negation is provable in the latter. We extend Glivenko's theorem and show that for every involutive substructural logic there exists a minimum substructural logic that contains the first via a double negation interpretation. Our presentation is algebraic and is formulated in the context of residuated lattices. In the last part of the paper, we also discuss some extended forms of the Koltnogorov translation and we compare it to the Glivenko translation.

Keywords

Glivenko's theoremsubstructural logicinvolutivepointed residuated lattice
Type
Research Article
Information
The Journal of Symbolic Logic , Volume 71 , Issue 4 , December 2006 , pp. 1353 - 1384
Copyright
Copyright © Association for Symbolic Logic 2006

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Bahls, P., Cole, J., Galatos, N., Jipsen, P., and Tsinakis, C., Cancellative residuated lattices, Algebra Universalis, vol. 50 (2003), no. 1, pp. 83–106.CrossRefGoogle Scholar
[2]Blok, W. J. and Pigozzi, D., Algebraizable logics, Memoirs of the American Mathematical Society, vol. 77 (1989), no. 396.CrossRefGoogle Scholar
[3]Blount, K. and Tsinakis, C., The structure of residuated lattices, International Journal of Algebra and Computation, vol. 13 (2003), no. 4, pp. 437–461.CrossRefGoogle Scholar
[4]Cignoli, R., D'Otaviano, I., and Mundici, D., Algebraic Foundations of Many-valued Reasoning, Trends in Logic – Studia Logica Library, vol. 7, Kluwer Academic Publishers, Dordrecht, 2000.CrossRefGoogle Scholar
[5]Cignoli, R. and Torrens, A., Hájek basic fuzzy logic and Łukasievicz infinite-valued logic, Archive for Mathematical Logic, vol. 42 (2003), pp. 361–370.CrossRefGoogle Scholar
[6]Cignoli, R. and Torrens, A., Glivenko like theorems in natural expansions of BCK-logic, Mathematical Logic Quarterly, vol. 50 (2004), no. 2, pp. 111–125.CrossRefGoogle Scholar
[7]Czelakowski, J. and Dziobiak, W., The parameterized local deduction theorem for quasivarieties of algebras and its application, Algebra Universalis, vol. 35 (1996), no. 3, pp. 373–419.CrossRefGoogle Scholar
[8]Font, J. M., Jansana, R., and Pigozzi, D., A survey of abstract algebraic logic, Studia Logica, vol. 74 (2003), no. 1–2, pp. 13–97, Special issue on Abstract Algebraic Logic, Part II (Barcelona, 1997).CrossRefGoogle Scholar
[9]Galatos, N., Varieties of residuated lattices, Ph.D. thesis, Vanderbilt University, 2003.Google Scholar
[10]Galatos, N., Minimal varieties of residuated lattices, Algebra Universalis, vol. 52 (2005), no. 2, pp. 215–239.CrossRefGoogle Scholar
[11]Galatos, N. and Ono, H., Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL, Studia Logica, vol. 83 (2006), pp. 279–308.CrossRefGoogle Scholar
[12]Galatos, N. and Ono, H., Cut elimination and strong separation for substructural logics: An algebraic approach, manuscript.Google Scholar
[13]Galatos, N. and Tsinakis, C., Generalized MV-algebras, Journal of Algebra, vol. 283 (2005), no. 1, pp. 254–291.CrossRefGoogle Scholar
[14]Glivenko, V., Sur quelques points de la logique de M. Brouwer, Bulletins de la classe des sciences, Academie Royale de Belgique, vol. 15 (1929), pp. 183–188.Google Scholar
[15]Hájek, P., Metamathematics of Fuzzy Logic, Kluwer, Dordrecht-Boston-London, 1998.CrossRefGoogle Scholar
[16]Odintsov, S., Negative equivalence of extensions of minimal logic, Studia Logica, vol. 78 (2004), pp. 417–442.CrossRefGoogle Scholar
[17]Ono, H., Semantics for substructural logics, Substructural Logics (Došen, K. and Schroeder-Heister, P., editors), Oxford University Press, New York, 1993, pp. 259–291.CrossRefGoogle Scholar