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

Philip Kremer. Quantifying over Propositions in Relevance Logic: Nonaxiomatisability of Primary Interpretations of forall p and exists p. Journal of Symbolic Logic, 58(1):334-349, 1993.

Abstract

Abstract is missing.