Semantics for quantified relevance logic
- 90 Downloads
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- Ackermann W.: 1956, ‘Begrundung einer strengen Implikation’, The Journal of Symbolic Logic, vol. 21, pp. 113–128.Google Scholar
- Anderson, A. R. and Belnap, N. B. J.: 1958, ‘Abstract, A Modification of Ackerman's “rigorous implication”’, JSL 23, 457–458.Google Scholar
- 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.Google Scholar
- Fine K.: 1974, ‘Models for Entailment’, Journal of Philosophical Logic 3, 347–72, to be reprinted in Entailment II (N. Belnap et al.).Google Scholar
- 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.Google Scholar
- Fine K.: 1985b, Reasoning with Arbitrary Objects, Blackwell: Oxford.Google Scholar
- 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.).Google Scholar
- 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.Google Scholar
- 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.Google Scholar
© D. Reidel Publishing Company 1988