References
Ackermann W.: 1956, ‘Begrundung einer strengen Implikation’, The Journal of Symbolic Logic, vol. 21, pp. 113–128.
Anderson, A. R. and Belnap, N. B. J.: 1958, ‘Abstract, A Modification of Ackerman's “rigorous implication”’, JSL 23, 457–458.
Fine K.: 1983, A Defence of Arbitrary Objects, in Proceedings of the Aristotelian Society, Supplementary Volume LVII, pp. 55–77; reprinted in Varieties of Formal Semantics. (eds. F. Landman and F. Veltman), GRASS III, Foris Publications, Dordrecht-Cinnaminson, 1984.
Fine K.: 1974, ‘Models for Entailment’, Journal of Philosophical Logic 3, 347–72, to be reprinted in Entailment II (N. Belnap et al.).
Fine K.: 1985a, ‘Arbitrary Objects and Natural Deduction’, Journal of Philosophical Logic, vol 14, No 1, 57–107, reprinted in Philosopher's Annual for 1985.
Fine K.: 1985b, Reasoning with Arbitrary Objects, Blackwell: Oxford.
Fine K.: 1986, ‘Incompleteness for Quantified Relevance Logics’, to appear in Directions in Relevance Logic (ed R. Sylvan), abstracted form to appear in Entailment II (N. Belnap et al.).
Routley R. and Meyer R. K.: 1973, ‘The Semantics of Entailment (I)’, in Truth, Syntax and Modality (ed. H. LeBlanc), North-Holland: Amsterdam, 199–243.
Scott D. S.: 1973, Models for Various Type-Free Calculi, pp. 157–187, of Logic, Methodology and Philosophy of Science IV (ed. Suppes, P., Henkin, L., Joja, A., and Moisil, G. C.), North-Holland: Amsterdam.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Fine, K. Semantics for quantified relevance logic. J Philos Logic 17, 27–59 (1988). https://doi.org/10.1007/BF00249674
Issue Date:
DOI: https://doi.org/10.1007/BF00249674