A natural deduction system for first degree entailment

---

Autoria(s): Tamminga, A. M.; Tanaka, K.

Data(s)	01/01/2001
Identificador	http://espace.library.uq.edu.au/view/UQ:58658
Idioma(s)	eng
Publicador	University of Notre Dame
Palavras-Chave	#CX #440106 Logic #780199 Other
Tipo	Journal Article