Skip to main content
Log in

Matters of relevance

  • Part 1/Logic
  • Published:
Journal of Philosophical Logic Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Bibliography

  • Henkin, L., 1949, ‘The Completeness of the First-Order Functional Calculus’, The Journal of Symbolic Logic 14, 159–66.

    Google Scholar 

  • Henkin, L., 1950, ‘Completeness in the Theory of Types’, The Journal of Symbolic Logic 15, 81–91.

    Google Scholar 

  • Kripke, S. A., 1959, ‘A Completeness Theorem in Modal Logic’, The Journal of Symbolic Logic 24, 1–15.

    Google Scholar 

  • 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.

    Google Scholar 

  • Leblanc, H., 1972a, ‘Semantic Deviations’, in Truth, Syntax, and Modality, Proceedings of the Temple University Conference on Alternative Semantics, North-Holland, Amsterdam, forthcoming.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Weaver, G., 1972, ‘Logical Consequence in Modal Logic: Alternative Semantic Systems for Normal Modal Logics’, in Truth, Syntax, and Modality, forthcoming.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00255561

Navigation