Quantifying over Propositions in Relevance Logic: Nonaxiomatisability of Primary Interpretations of forall p and exists p

Philip Kremer
Abstract:
What problem does this paper attempt to address?