A tableau proof method admitting the empty domain.
Melvin Fitting
Source: Notre Dame J. Formal Logic Volume 12, Number 2 (1971), 219-224.
Primary Subjects: 02D99
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1093894222
Zentralblatt MATH identifier:
0177.01102
Mathematical Reviews number (MathSciNet):
MR0295884
Digital Object Identifier: doi:10.1305/ndjfl/1093894222
Notre Dame Journal of Formal Logic
