Repository | Book | Chapter
(2003) Philosophical dimensions of logic and science, Dordrecht, Springer.
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).
Publication details
DOI: 10.1007/978-94-017-2612-2_1
Full citation:
Ono, H. , Ueda, M. (2003)., A classification of logics over flew and almost maximal logics, in A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical dimensions of logic and science, Dordrecht, Springer, pp. 3-13.
This document is unfortunately not available for download at the moment.