메뉴 건너뛰기




Volumn 29, Issue 3, 1976, Pages 149-168

Intuitive semantics for first-degree entailments and 'coupled trees'

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0007912444     PISSN: 00318116     EISSN: 15730883     Source Type: Journal    
DOI: 10.1007/BF00373152     Document Type: Article
Times cited : (400)

References (18)
  • 2
    • 84932710450 scopus 로고    scopus 로고
    • Bar-Hillel, Y., Language and Information, Reading, Mass., 1964.
  • 3
    • 84932662610 scopus 로고    scopus 로고
    • Carnap, R., and Bar-Hillel, Y., ‘An Outline of a Theory of Semantic Information’, MIT Research Lab. of Electronics Tech. Report, No. 247, 1952. Also reprinted as Ch. 15 of Bar-Hillel (1964).
  • 4
    • 84932686074 scopus 로고    scopus 로고
    • Dunn, J. M., The Algebra of Intensional Logics, unpublished dissertation, University of Pittsburgh, 1966.
  • 5
    • 84932738165 scopus 로고    scopus 로고
    • Dunn, J. M., ‘The Effective Equivalence of Certain Propositions about de Morgan Lattices’, (Abstract) Journal of Symbolic Logic, 32, 1967.
  • 6
    • 84932707469 scopus 로고    scopus 로고
    • Dunn, J. M., ‘Natural Language versus Formal Language’, a mimeo of a talk in the joint APA-ASL Symposium by that title, New York, Dec. 27, 1969.
  • 8
    • 84932710859 scopus 로고    scopus 로고
    • Dunn, J. M., ‘A Kripke-Style Semantics for R-Mingle’, contributed paper, Tarski Symposium, Univ. of California, Berkeley, June, (mimeo abstracts of contributed papers distributed to participants), 1971b.
  • 10
    • 84932716582 scopus 로고    scopus 로고
    • Geach, P. T. and Black, M., Translations From the Philosophical Writings of Gottlob Frege, Oxford, 1960.
  • 11
    • 84932696773 scopus 로고    scopus 로고
    • Jeffrey, R. C., Formal Logic: Its Scope and Limits, New York, 1967.
  • 12
    • 84932728920 scopus 로고    scopus 로고
    • Lewis, C. I. and Langford, C. H., Symbolic Logic, New York, 1932.
  • 14
    • 84932716982 scopus 로고    scopus 로고
    • Pears, D. F. and McGuinness, B. F., English translation of L. W. Wittgenstein's Tractatus Logico-Philosophicus, London, 1961.
  • 16
    • 84932732475 scopus 로고    scopus 로고
    • Routley, R. and Meyer, R. K., ‘The Semantics of Entailment’, in Truth, Syntax and Modality, ed. by H. Leblanc, Amsterdam 1973, pp. 198–243.
  • 17
    • 84932688585 scopus 로고    scopus 로고
    • Smullyan, R., First-Order Logic, Berlin, 1968.


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