메뉴 건너뛰기




Volumn 25, Issue 1, 1996, Pages 41-51

Kripke semantics for logics with BCK implication

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0002648103     PISSN: 01380680     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article
Times cited : (5)

References (10)
  • 2
    • 0002818625 scopus 로고
    • Lambek calculus and relational semantics: Completeness and incompleteness
    • H. Andreka and S. Mikulas, Lambek Calculus and relational semantics: completeness and incompleteness, Journal of Logic, Language and Information 3 (1994), pp. 1-38.
    • (1994) Journal of Logic, Language and Information , vol.3 , pp. 1-38
    • Andreka, H.1    Mikulas, S.2
  • 4
    • 7544222167 scopus 로고
    • Sequent systems and groupoid models i
    • K. Dosen, Sequent systems and groupoid models I, Studia Logica, 4 (1988), pp. 353-385.
    • (1988) Studia Logica , vol.4 , pp. 353-385
    • Dosen, K.1
  • 5
    • 0003053507 scopus 로고
    • Partial-gaggles applied to restricted structural rules
    • edited by P. Schroeder-Heister and K. Dosen, Oxford Press
    • J. M. Dunn, Partial-gaggles applied to restricted structural rules, in: Substructural Logics, edited by P. Schroeder-Heister and K. Dosen, Oxford Press, 1993.
    • (1993) Substructural Logics
    • Dunn, J.M.1
  • 6
    • 0001984558 scopus 로고
    • Logics without the contraction rule
    • H. Ono and Y. Komori, Logics without the contraction rule, Journal of Symbolic Logic 50 (1985), pp. 169-201.
    • (1985) Journal of Symbolic Logic , vol.50 , pp. 169-201
    • Ono, H.1    Komori, Y.2
  • 7
    • 84896510254 scopus 로고
    • Interpretation of relevant logics in a logic of ternary relations
    • E. Orlowska, Interpretation of relevant logics in a logic of ternary relations, Bulletin of the Section of Logic 19 (1990), pp. 39-48.
    • (1990) Bulletin of the Section of Logic , vol.19 , pp. 39-48
    • Orlowska, E.1
  • 8
    • 77956948493 scopus 로고
    • The semantics of entailment
    • edited by H. LeBlanc, North Holland
    • R. Routley and R. K. Meyer, The semantics of entailment, in: Truth, Syntax and Modality, edited by H. LeBlanc, North Holland, pp. 199-243, 1973.
    • (1973) Truth, Syntax and Modality , pp. 199-243
    • Routley, R.1    Meyer, R.K.2
  • 9
    • 51249181509 scopus 로고
    • A topological representation theory for lattices
    • A. Urquhart, A topological representation theory for lattices, Algebra Universalis 8 (1978), pp. 45-58.
    • (1978) Algebra Universalis , vol.8 , pp. 45-58
    • Urquhart, A.1
  • 10
    • 0012138991 scopus 로고
    • Informational interpretation of substructural propositional logics
    • H. Wansing, Informational interpretation of substructural propositional logics, Journal of Logic, Language and Information 2 (1993), pp. 285-309.
    • (1993) Journal of Logic, Language and Information , vol.2 , pp. 285-309
    • Wansing, H.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.