The deduction theorem in a functional calculus of first order based on strict implication
Work
Year: 1946
Type: article
Source: Journal of Symbolic Logic
Author Ruth C. Barcan
Institution Yale University
Cites: 1
Cited by: 109
Related to: 10
FWCI:
Citation percentile (by year/subfield): 94.54
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed