Kripke semantics for modal substructural logics

Journal of Logic, Language and Information

Volumn 11, Issue 4, 2002, Pages 453-470

  Kamide, Norihiro ^a  

^a WAKAYAMA NATIONAL COLLEGE OF TECHNOLOGY   (Japan)

Author keywords

Completeness theorem; Kripke semantics; Linear logic; Modal substructural logic; Relevant logic

Indexed keywords

EID: 7544226636     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: 10.1023/A:1019915908844     Document Type: Article

References (19)

1. Bucalo, A., 1994, "Modalities in linear logic weaker than the exponential 'of course': Algebraic and relational semantics," Journal of Logic, Language, and Information 3, 211-232.
2. Corsi, G., 1987, "Weak logics with strict implication," Zeitschrift für Mathematische Logik and Grundlagen der Mathematik 33, 389-406.
3. D'Agostino, M., Gabby, D.M., and Russo, A., 1997, "Grafting modalities onto substructural implicational systems," Studia Logica 59, 65-102.
4. Dam, M., 1994, "Process-algebraic interpretations of positive linear and relevant logics," Journal of Logic and Computation 4, 939-973.
5. Došen, K., 1988a, "Sequent systems and groupoid models. I," Studia Logica 47, 353-385.
6. Došen, K., 1988b, "Sequent systems and groupoid models. II," Studia Logica 48, 41-65.
7. Ishihara, H., 2000, "A canonical model construction for substructural logics," Journal of Universal Computer Science 6, 155-168.
8. Kamide, N., 2002, "Substructural logics with mingle," Journal of Logic, Language and Information 11, 227-249
9. Méndez, J.M., 1987, "A Routley-Meyer semantics for converse Ackermann property," Journal of Philosophical Logic 16, 65-76.
10. Ono, H., 1993, "Semantics for substructural logics," pp. 259-291 in Substructural Logics, K. Došen and P. Schroeder-Heister, eds., Oxford: Oxford University Press.
11. Ono, H. and Komori, Y., 1985, "Logics without the contraction rule," Journal of Symbolic Logic 50, 169-201.
12. Sasaki, K., 1999, "Formalizations for the consequence relation of Visser's propositional logic," Reports on Mathematical Logic 33, 65-78.
13. Suzuki, Y. and Ono, H., 1997, "Hilbert style proof system for BPL," JAIST Research Report.
14. Troelstra, A.S., 1992, Lectures on Linear Logic, CSLI Lecture Notes, Vol. 29, Stanford, CA: CSLI.
15. Urquhart, A., 1972, "Semantics for relevant logics," Journal of Symbolic Logic 37, 159-169.
16. Venema, Y., 1995, "Meeting strength in substructural logics," Studia Logica 54, 3-32.
17. Visser, A., 1981, "A propositional logic with explicit fixed points," Studia Logica 40, 155-174.
18. Wansing, H., 1993a, "The logic of information structures," Lecture Notes in Artificial Intelligence, Vol. 681, Berlin: Springer-Verlag.
19. Wansing, H., 1993b, "Informational interpretation of substructural propositional logics," Journal of Logic, Language and Information 2, 285-308.