Richard Routley and Robert K. Meyer. The semantics of entailment. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics, edited by Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amsterdam and London1973, pp. 199–243 [Book Review]

Journal of Symbolic Logic 42 (2):315-316 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272147

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Hugues Leblanc. Semantic deviations. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics, edited by Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amsterdam and London1973, pp. 1–16. - Hugues Leblanc and George Weaver. Truth-functionality and the ramified theory of types. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics, edited by Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amsterdam and London1973, pp. 148–167. [REVIEW]Melvin Fitting - 1977 - Journal of Symbolic Logic 42 (2):313.
Robert K. Meyer. Intuitionism, entailment, negation. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics, edited by Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amsterdam and London1973, pp. 168–198. [REVIEW]Melvin Fitting - 1977 - Journal of Symbolic Logic 42 (2):315.
Thomason Richmond H.. Philosophy and formal semantics. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics, edited by Leblanc Hugues, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amsterdam and London 1973, pp. 294–307. [REVIEW]Melvin Fitting - 1977 - Journal of Symbolic Logic 42 (2):317.
Donald Davidson. In defense of convention T. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics, edited by Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amsterdam and London1973, pp. 76–86. [REVIEW]Melvin Fitting - 1977 - Journal of Symbolic Logic 42 (2):314.
Raymond M. Smullyan. A generalization of intuitionistic and modal logics. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics, edited by Hugues Leblanc, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amsterdam and London1973, pp. 274–293. [REVIEW]Melvin Fitting - 1977 - Journal of Symbolic Logic 42 (2):316.
Weaver George. Logical consequence in modal logic: alternative semantic systems for normal modal logics. Truth, syntax and modality, Proceedings of the Temple University Conference on Alternative Semantics, edited by Leblanc Hugues, Studies in logic and the foundations of mathematics, vol. 68, North-Holland Publishing Company, Amsterdam and London 1973, pp. 308–317. [REVIEW]Melvin Fitting - 1977 - Journal of Symbolic Logic 42 (2):317-317.
The Semantics of Entailment.Richard Routley & Robert K. Meyer - 1973 - In Hugues Leblanc (ed.), Truth, Syntax, and Modality: Proceedings Of The Temple University Conference On Alternative Semantlcs. Amsterdam and London: North-Holland Publishing Company. pp. 199-243.
Peter Aczel. Quantifiers, games and inductive definitions. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 1–14. - Kit Fine. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 15–31. - Bengt Hansson and Peter Gärdenfors. Filtations and the finite frame property in Boolean semantics. Proceedings of the Third Scandinavian Logic Symposium, edited by Stig Kanger, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Compa. [REVIEW]S. K. Thomason - 1978 - Journal of Symbolic Logic 43 (2):373-376.
Hugues Leblanc. Truth-value semantics. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1976, XII + 319 pp. [REVIEW]J. Michael Dunn - 1978 - Journal of Symbolic Logic 43 (2):376-377.
Reviews. Alfred Tarski. Preface. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. VIII–IX. Alfred Tarski. A general method in proofs of undecidability. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 3–35. Andrzej Mostowski, Raphael M. Robinson, and Alfred Tarski. Undecidability and essential undecidability in arithmetic. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 39–74. Alfred Tarski. Undecidability of the elementary theory of groups. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 77–87. Bibliography. Undecidable theories, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1953, pp. 89–91. Index. Undecidable theories. [REVIEW]Martin Davis - 1959 - Journal of Symbolic Logic 24 (2):167-169.
Barendregt H. P.. The lambda calculus. Its syntax and semantics. Studies in logic and foundations of mathematics, vol. 103. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1981, xiv + 615 pp. [REVIEW]E. Engeler - 1984 - Journal of Symbolic Logic 49 (1):301-303.
Fitch Frederic B.. Quasi-constructive foundations for mathematics. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 26–36. [REVIEW]Bruce Lercher - 1972 - Journal of Symbolic Logic 37 (2):402-402.
Porte Jean. Quelques pseudo-paradoxes de la “calculabilité effective.” 2e Congrès Internationale de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur 1960, pp. 332–334.Kalmár László. An argument against the plausibility of Church's thesis. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 72–80.Peter Rózsa. Rekursivität und Konstruktivität. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 226–233.Mendelson Elliott. On some recent criticism of Church's thesis. Notre Dame journal of formal logic, vol. 4 no. 3 , pp. 201–205. [REVIEW]Yiannis N. Moschovakis - 1968 - Journal of Symbolic Logic 33 (3):471-472.
Beth E. W.. Remarks on intuitionistic logic. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 15–25. [REVIEW]Hans Freudenthal - 1974 - Journal of Symbolic Logic 39 (3):609-609.
Myhill John. Finitely representable functions. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 195–207. [REVIEW]Martin Davis - 1973 - Journal of Symbolic Logic 38 (1):157-158.

Analytics

Added to PP
2016-06-30

Downloads
59 (#266,556)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Melvin Fitting
CUNY Graduate Center

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references