SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Volumn 48, Issue 1, 1989, Pages 41-65

Sequent-systems and groupoid models. II

(1) Došen, Kosta a

a MATHEMATICAL INSTITUTE (Serbia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 7544232939 PISSN: 00393215 EISSN: 15728730 Source Type: Journal
DOI: 10.1007/BF00370633 Document Type: Article

Times cited : (40)

References (11)

1
- 0003782078
- Princeton University Press, Princeton
- (1975) Entailment: The Logic of Relevance and Necessity, vol. I
- Anderson, A.R.¹ Belnap, N.D.²

2
- 84966238018
- Representation of lattices by sets
- (1948) Transactions of the American Mathematical Society , vol.64 , pp. 299-316
- Birkhoff, G.¹ Frink, O.²

3
- 84985407299
- Completeness results for Lambek syntactic calculus
- (1986) Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol.32 , pp. 13-28
- Buszkowski, W.¹

4
- 0003966693
- 2nd edition, Springer, Berlin
- (1983) Logic and Structure
- van Dalen, D.¹

5
- 2342637240
- Models for entailment
- (1974) Journal of Philosophical Logic , vol.3 , pp. 347-372
- Fine, K.¹

6
- 0003834523
- Pergamon Press, Oxford
- (1963) Partially Ordered Algebraic Systems
- Fuchs, L.¹

7
- 0001984558
- Logics without the contraction rule
- (1985) The Journal of Symbolic Logic , vol.50 , pp. 169-201
- Ono, H.¹ Komori, Y.²

8
- 0004161482
- Państwowe Wydawnictwo Naukowe, Warsaw
- (1963) The Mathematics of Metamathematics
- Rasiowa, H.¹ Sikorski, R.²

9
- 77956948493
- The semantics of entailment. I
- H., Leblanc, North-Holland, Amsterdam
- (1973) Truth, Syntax, Modality , pp. 199-243
- Routley, R.¹ Meyer, R.K.²

10
- 33745402694
- The semantics of entailment III
- (1972) Journal of Philosophical Logic , vol.1 , pp. 192-208
- Routley, R.¹ Meyer, R.K.²

11
- 0012132763
- Semantics for relevant logics
- (1972) The Journal of Symbolic Logic , vol.37 , pp. 159-169
- Urquhart, A.¹

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