A canonical model construction for substructural logics

Journal of Universal Computer Science

Volumn 6, Issue 1, 2000, Pages 155-168

  Ishihara, Hajime ^a  

^a JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

Author keywords

Canonical model; Kripke type semantics; Linear logic; Relevant logics; Strict implication; Substructural logics

Indexed keywords

EID: 15744400140     PISSN: 0948695X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (10)

1. G. Corsi, Weak logics with strict implication, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 33, 389-406 (1987).
2. K. Došen, Sequent systems and groupoid models, I, Studia Logica 47, 353-385 (1988).
3. K. Došen, Sequent systems and groupoid models, II, Studia Logica 48, 41-65 (1989).
4. K. Došen, A Histrical introduction to substructural logics, in [10], 1-30.
5. J.M. Dunn, Relevance logic and entailment, in Handbook of Philosophical Logic, Vol. III, D. Gabbay and F. Guenthner eds., D. Reidel, 1986, 117-224.
6. J.Y. Girard, Linear Logic, Theoretical Computer Science 50, 1-102 (1987).
7. H. Ono, Semantics for substructural logics, in [10], 259-291.
8. H. Ono and Y. Komori, Logics without the contraction rule, Journal of Symbolic Logic 50, 169-201 (1985).
9. R. Routley and R.K. Meyer, The semantics of entailment, III, Journal of Phylosophical Logic 1, 192-208 (1972).
10. P. Schroeder-Heister and K. Došen eds., Substructural logics, Oxford, 1993.