Conservativity Of Heyting Implication Over Relevant Quantification
Work
Year: 2009
Type: article
Abstract: It is known that propositional relevant logics can be conservatively extended by the addition of a Heyting (intuitionistic) implication connective. We show that this same conservativity holds for a ra... more
Source: The Review of Symbolic Logic
Author Robert Goldblatt
Institution Victoria University of Wellington
Cites: 11
Cited by: 4
Related to: 10
FWCI: 0.4
Citation percentile (by year/subfield): 78.26
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: green