메뉴 건너뛰기
Annals of Pure and Applied Logic
Volumn 84, Issue 1, 1997, Pages 17-39
Contraction-elimination for implicational logics
Author keywords

[No Author keywords available]
Indexed keywords

EID: 0031555826     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0168-0072(97)81394-2     Document Type: Article
Times cited : (5)
References (3)
  • 1
    • 0010803691 scopus 로고
    • Über tautologien, in welchen keine variable mehr als zweimal vorkommt
    • [1]S. Jaśkowski, Über Tautologien, in welchen keine Variable mehr als zweimal vorkommt, Z. Math. Logik Grundlag. Math. 9 (1963) 219-228.
    • (1963) Z. Math. Logik Grundlag. Math. , vol.9 , pp. 219-228
    • Jaśkowski, S.1
  • 2
    • 0001984558 scopus 로고
    • Logics without the contraction rule
    • [2]H. Ono and Y. Komori, Logics without the contraction rule, J. Symbolic Logic 50 (1985) 169-201.
    • (1985) J. Symbolic Logic , vol.50 , pp. 169-201
    • Ono, H.1    Komori, Y.2
  • 3
    • 0003826898 scopus 로고
    • North-Holland, Amsterdam, 2nd ed.
    • [3]G. Takeuti, Proof Theory (North-Holland, Amsterdam, 2nd ed., 1987).
    • (1987) Proof Theory
    • Takeuti, G.1

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