The Semantics of Entailment
- 1 January 1973
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- III.—AN INTENSIONAL INTERPRETATION OF TRUTH-VALUESMind, 1972
- Algebraic completeness results for R-mingle and its extensionsThe Journal of Symbolic Logic, 1970
- On modal logic with propositional quantifiersThe Journal of Symbolic Logic, 1969
- Homomorphisms of intensionally complemented distributive latticesMathematische Annalen, 1968
- Intensional models for first degree formulasThe Journal of Symbolic Logic, 1967
- Tautological entailmentsPhilosophical Studies, 1962
- EnthymemesThe Journal of Philosophy, 1961
- Entailment and relevance1The Journal of Symbolic Logic, 1960
- Banishing the rule of substitution for functional variablesThe Journal of Symbolic Logic, 1953
- Completeness in the theory of typesThe Journal of Symbolic Logic, 1950