Repository | Book | Chapter
![186017](https://sdvigpress.org/images/publi/_default.jpg)
(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.