Completeness of relevant quantification theories.
Work
Year: 1974
Type: article
Abstract: In [20], Meyer and Dunn answered affirmatively for the relevant sentential logics E and R the question, "Is the rule y, 'From v-A and f-Av5, to infer B,' admissible?"This result, which confirmed an ol... more
Cites: 19
Cited by: 44
Related to: 10
FWCI: 2.086
Citation percentile (by year/subfield): 92.95
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: hybrid