A natural deduction system for first degree entailment

Authors
  • A.M. Tamminga
  • K. Tanaka
Publication date 1999
Journal Notre Dame Journal of Formal Logic
Volume | Issue number 40 | 2
Pages (from-to) 258-272
Number of pages 25
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Article
Permalink to this page
Back