A Classification of Logics over FLew and Almost Maximal Logics
- 148 Downloads
Let FL ew be the logic obtained from the intuitionistic propositional logic by deleting contraction rule if we formulate it in a sequent system. Sometimes, this logic is called intuitionistic affine logic. The class of logics over FL ew , i.e. logics stronger than or equal to FL ew , includes many interesting logics, e.g., intermediate logics, Łukasiewicz’s many-valued logics, Grišin’s logic and product logic, etc. (See, e.g., Cignoli et al., 2000; Grišin, 1976; Hájek, 1998.) The study of logics over FL ew , will enable us to discuss these different kinds of logics within a uniform framework (see Ono and Komori, 1985; Ono, 1999 for the detail).
KeywordsClassical Logic Residuated Lattice Intuitionistic Logic Heyting Algebra Product Logic
Unable to display preview. Download preview PDF.
- Cignoli, R. and Torrens, A. (2000). An algebraic analysis of product logic. Multiple Valued Logic, 5: 45–65.Google Scholar
- Gris’in, V. N. (1976). On algebraic semantics for logic without the contraction rule (in Russian), Isslédovanija po formalizovannym jazykam i néklassicéskim logikam, pp. 247–264. Nauka, Moscow.Google Scholar
- Hosoi, T. (1967). On intermediate logics I. Journal of the Faculty of Science, University of Tokyo Sec. I, 14: 293–312.Google Scholar
- Kowalski, T. and Ono, H. Splittings in the variety of residuated lattices, Algebra Universalis,forthcoming.Google Scholar
- Kowalski, T. and Ueda, M. (2000). Almost minimal varieties of residuated lattices, draft of a talk presented at the 6th Barcelona Logic Meeting, Barcelona, Spain, July, 2000.Google Scholar
- Ono, H. (1999). Logics without contraction rule and residuated lattices I. Unpublished.Google Scholar
- Ueda, M. (2000). A Study of a Classification of Residuated Lattices and Logics without Contraction Rule. Master Thesis, Japan Advanced Institute of Science and Technology.Google Scholar