A rule-completeness theorem.
Work
Year: 1963
Type: article
Abstract: From an intuitive standpoint it would seem that the connectives of conjunction and disjunction assume in intuitionistic logic the same role as in classical logic.We may lend precision to these intuiti... more
Authors Nuel Belnap, Richmond H. Thomason
Institution Yale University
Cites:
Cited by: 12
Related to: 10
FWCI: 1.335
Citation percentile (by year/subfield): 89.89
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid