A natural deduction system for first degree entailment

Tamminga, A. M. and Tanaka, K. (2001) A natural deduction system for first degree entailment. Notre Dame Journal of Formal Logic, 40 2: 258-272.

Author Tamminga, A. M.
Tanaka, K.
Title A natural deduction system for first degree entailment
Journal name Notre Dame Journal of Formal Logic   Check publisher's open access policy
ISSN 0029-4527
Publication date 2001
Sub-type Article (original research)
Volume 40
Issue 2
Start page 258
End page 272
Total pages 15
Place of publication Notre Dame
Publisher University of Notre Dame
Collection year 2001
Language eng
Subject CX
440106 Logic
780199 Other
Q-Index Code CX

Document type: Journal Article
Sub-type: Article (original research)
Collection: School of Historical and Philosophical Inquiry
 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Tue, 14 Aug 2007, 15:17:43 EST