QUANTIFYING OVER PROPOSITIONS IN RELEVANCE LOGIC - NONAXIOMATISABILITY OF PRIMARY INTERPRETATIONS OF FOR-ALL-P AND THERE-EXISTS-P
- 28 February 1993
- journal article
- research article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 58 (1) , 334-349
- https://doi.org/10.2307/2275341
Abstract
Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p* - Volume 58 Issue 1 - Philip KremerThis publication has 8 references indexed in Scilit:
- Second order logic and first order theories of reducibility orderings*Published by Elsevier ,1980
- Recursion-Theoretic HierarchiesPublished by Springer Nature ,1978
- The Semantics of EntailmentPublished by Elsevier ,1973
- The semantics of entailment ? IIIJournal of Philosophical Logic, 1972
- The semantics of entailment?IIJournal of Philosophical Logic, 1972
- Propositional quantifiers in modal logic1Theoria, 1970
- Creative setsMathematical Logic Quarterly, 1955
- Recursively enumerable sets of positive integers and their decision problemsBulletin of the American Mathematical Society, 1944