Bibliography
Henkin, L., 1949, ‘The Completeness of the First-Order Functional Calculus’, The Journal of Symbolic Logic 14, 159–66.
Henkin, L., 1950, ‘Completeness in the Theory of Types’, The Journal of Symbolic Logic 15, 81–91.
Kripke, S. A., 1959, ‘A Completeness Theorem in Modal Logic’, The Journal of Symbolic Logic 24, 1–15.
Kripke, S. A., 1963, ‘Semantical Considerations in Modal Logic’, in Modal and Many-Valued Logics, Acta Philosophica Fennica 16, 83–94, Helsinki.
Leblanc, H., 1969a, ‘A Simplified Strong Completeness Proof for QC=,’ Akten des XIV. Internationalen Kongresses für Philosophie III, 83–96, Herder, Vienna.
Leblanc, H., 1969b, ‘Three Generalizations of a Theorem of Beth's’, Logique et Analyse 12, 205–20.
Leblanc, H., 1972a, ‘Semantic Deviations’, in Truth, Syntax, and Modality, Proceedings of the Temple University Conference on Alternative Semantics, North-Holland, Amsterdam, forthcoming.
Leblanc, H., 1972b, ‘On Dispensing with Things and Worlds’, in Existence and Possible Worlds, Studies in Contemporary Philosophy 2, New York, forthcoming.
Leblanc, H. and Meyer, R. K., 1970, ‘Truth-Value Semantics for the Theory of Types’, in Philosophical Problems in Logic: Some Recent Developments, D. Reidel, Dordrecht-Holland, pp. 77–101.
Leblanc, H. and Weaver, G., 1972, ‘Truth-Functionality and the Ramified Theory of Types’, in Truth, Syntax, and Modality, forthcoming.
Makinson, D. C., 1966, ‘On Some Completeness Theorems in Modal Logic’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 12, 379–84.
Weaver, G., 1972, ‘Logical Consequence in Modal Logic: Alternative Semantic Systems for Normal Modal Logics’, in Truth, Syntax, and Modality, forthcoming.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Leblanc, H. Matters of relevance. J Philos Logic 1, 269–286 (1972). https://doi.org/10.1007/BF00255561
Issue Date:
DOI: https://doi.org/10.1007/BF00255561