Journal of Symbolic Logic 42 (2):315-316 (1977)
| Authors |
|
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2307/2272147 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
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 Hughes Leblanc (ed.), Truth, Syntax, and Modality: Proceedings Of The Temple University Conference On Alternative Semantlcs. Amsterdam: 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 index
2016-06-30
Total views
55 ( #181,140 of 2,409,841 )
Recent downloads (6 months)
2 ( #347,988 of 2,409,841 )
2016-06-30
Total views
55 ( #181,140 of 2,409,841 )
Recent downloads (6 months)
2 ( #347,988 of 2,409,841 )
How can I increase my downloads?
Downloads
