Beth's nonclassical valuations

 Access to full text

 Full (PDF)

1. Beth, Evert W.1951A Topological Proof of the Theorem of Löwenheim-Skolem-Gödel, Indagationes Mathematicae, 13, 437-444. Zbl0044.00205
2. Beth, Evert W.1954a A Subformula Theorem for the Sentential Calculus, and a Characterisation of its Axiom Systems (dedicated to Robert Feys), unpublished. 
3. Beth, Evert W.1954b A Subformula Theorem for the Sentential Calculus, and a Characterisation of Axiom Systems Adequate for it (dedicated to Robert Feys), rewritten version of 1954a, unpublished. 
4. Beth, Evert W.1954c A Subformula Theorem for the Sentential Calculus, and a Characterisation of Axiom Systems Adequate for it (abstract for ASL meeting, Amsterdam, September 1, 1954), unpublished. 
5. Beth, Evert W.1954/ 1955Nieuwentyt's Significance for the Philosophy of Science, Synthese, 9, 447-453. 
6. Beth, Evert W.1955a Remarks on Natural Deduction (dedicated to Robert Feys), Indagationes Mathematicae, 17, 322-325. Zbl0067.25102
7. Beth, Evert W.1955b Semantic Entailment and Formal Derivability, Mededelingen Koninklijke Nederlandse Akademie van Wetenschappen, Nieuwe Reeks, 18, 309-342. 
8. Beth, Evert W.1955c Poincaré et la philosophie, Le Livre du centenaire de la renaissance de Henri Poincaré, 1854-1954, Paris, 232-238. 
9. Beth, Evert W.1956a L'Existence en mathématiques, (lectures 1954, March 29-April 2, Paris (Sorbonne)), Paris/Louvain: Gauthiers-Villars/ Nauwelaerts (Collection de logique mathématiques, série A, 10). 
10. Beth, Evert W.1956b Semantic Construction of Intuitionistic Logic, Mededelingen Koninklijke Nederlandse Akademie van Wetenschappen, Nieuwe Reeks, 19, 357-388. Zbl0073.24903
11. Beth, Evert W.1957La crise de la raison et la logique, Paris/Louvain: Gauthiers-Villars/Nauwelaerts, (Collection de logique mathématique, 12, Série A). Zbl0077.00909
12. Beth, Evert W.1958a Construction sémantique de la logique intuinioniste, Le raisonnement en mathématique et en sciences expérimentales (Paris, Sept. 26-Oct. 1, 1955), in Colloques Int. du C.N.R.S., 70, 77-83. 
13. Beth, Evert W.1958b On Machines which Prove Theorems, Simon Stevin 32, 49-60 (lecture August 6, 1957, IBM research centre Yorktown, NY). And in [Beth 1962], 112-121. Zbl0084.25001
14. Beth, Evert W.1959The Foundations of Mathematics, a Study in the Philosophy of Sciences, Amsterdam: North-Holland, in Studies in logic. Zbl0085.24104
15. Beth, Evert W.1960a Completeness Results for Formal Systems, Proceeding International Congress Mathematicians (Edinburgh, 1958, August 4-21), Cambridge, 281-288. Zbl0119.25104
16. Beth, Evert W.1960b Observations on an Independence Proof for Peirce's law, (abstract), The Journal of Symbolic logic, 25, 389 (received Oct. 24, 1961, published Oct., 1962 in no. 4 of vol. 25). 
17. Beth, Evert W.1961a Méthodes de déduction, vue d'ensemble, Compte-rendu des travaux effectués par l'Université d'Amsterdam dans le cadre du contrat Euratom, Rapport CETIS, 26, (Rapport 1), 5-20. 
18. Beth, Evert W.1961b Remarques sur la théorie des pseudo-valuations, Compte-rendu des travaux effectués par l'Université d'Amsterdam dans le cadre du contrat Euratom, Rapport CETIS, 26 (Rapport 3, 15 Mai 1961), 32-35. 
19. Beth, Evert W.1961c Construction sémantique de la logique inférentielle, Compte-rendu des travaux effectués par l'Université d'Amsterdam dans le cadre du contrat Euratom, Rapport CETIS, 26 (Rapport 8, 15 Octobre 1961), 172-178. 
20. Beth, Evert W.1961d Observations Concerning Computation, Deduction and Heuristics, Compte-rendu des travaux effectués par l'Université d'Amsterdam dans le cadre du contrat Euratom, Rapport CETIS, 26 (Rapport 10, 15 Octobre 1961), 106-119. And in Computer Programming and Formal Systems, Amsterdam, (1963), 21-32, Amsterdam: North-Holland (Studies in Logic). Zbl0108.00901
21. Beth, Evert W.1962Formal Methods, an Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic, Dordrecht: Reidel. Zbl0105.24503
22. Beth, Evert W.1965Semantische Begründung der derivativen Implikationslogik, Archiv für Mathematische Logik und Grundlagenforschung, 7, 23-28, (received Jan. 6, 1962; in No. 7/1-2: vereinigten Beiträge sind von den Verfasser Herrn Prof.dr Arnold Schmidt zu seinem 60. Geburtstag am 11. Juli 1962 gewidmet worden.). Zbl0166.00202
23. Beth, Evert W. and Nieland, Johannes J.F.1965Semantic Construction of Lewis's Systems S4 and S5, Symposium of the theory of models (J.W. Addison, L. Henkin, A. Tarski eds.), (Proc. 1963 Int. Symposium Berkeley), Amsterdam, 17-24: North-Holland (Studies in Logic). Zbl0156.00705
24. Bull, R. and Segerberg, K.1984Basic Modal Logic, Handbook of philosophical logic II, Extensions of classic logic, (Gabbay, D. & Guenther, F. ed.), 1-88. Zbl0875.03045
25. Church, Alonzo1956Introduction to Mathematical logic I, Princeton: Princeton University Press. Zbl0073.24301
26. Davis, Martin1958Computability and Unsolvability, New York-Toronto: McGraw-Hill (Series in information processing and computers) Zbl0080.00902
27. de Jongh, Dick H.J.1962a Recherches sur les I-valuations, Compte-rendu des travaux effectués par l'Université d'Amsterdam dans le cadre du contrat Euratom, Rapport CETIS, 26, 172-178 (Rapport 17). 
28. de Jongh, Dick H.J.1962Operators in Inferential Sentential Logic (Euratom-rapport No. 25, November 15, 1962), unpublished. 
29. de Jongh, Dick H.J.1964Onderzoekingen over de intuitionistische propositielogica [Investigations in the Intuitionistic Propositional calculus] (doctoraalskriptie; master's thesis, University of Amsterdam), unpublished. 
30. de Jongh, Dick H.J. and Chagrova, L.A.1995The Decidability of Dependency in Intuitionistic Propositional Logic, The Journal of Symbolic Logic, 60, 498-504. Zbl0836.03010
31. Dummett, Michael A.E.1977Elements of Intuitionism, Oxford: Clarendon Press. Zbl0358.02032
32. Dummett, Michael A.E. and Lemmon, E.J.1958Modal Logics between S4 and S5, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 4, 250-264. Zbl0178.30801
33. Dyson, V.H., and Kreisel, Georg1961Analysis of Beth's Semantic Construction of Intuitionistic Logic, Technical Report No. 3, Stanford, California: Office of Ordnance Research, Contract No. DA-04-200-ORD-997; Applied mathematics and statistical laboratories, Stanford University. 
34. Friedman, H.M.1975Intuitionistic completeness of Heyting's predicate calculus, Notices of the American Mathematical Society, 22, A-648. 
35. Gödel, Kurt1933Eine Interpretation des intuitionistischen Aussagenkalküls, Ergebnisse eines mathematischen Kolloquiums, 7, 23-24. Zbl0014.24102
36. Guillaume, Marcel1958Rapports entre calculs propositionnels modaux et topologie impliqués par certaines extensions de la méthode des tableaux sémantiques. Système S4 de Lewis, Système de Feys-von Wright, C.R. Acad. des Sci. (Paris) 246, 1140-1142, 2207-2210; and C.R. Acad. des Sci. 247, 1282-1283. Zbl0081.24302
37. Hendriks, Alex1996Computations in Propositional logic (dissertation, University of Amsterdam): ILLC Dissertation Series 1996-01. Zbl0870.03011
38. Hilbert, David and Bernays, P.1933Grundlagen der Arithmetik I, Berlin: Julius Springer. Zbl0191.28402
39. Hintikka, K.J.J.1961Modality and Quantification, Theoria, 27, 119-128. 
40. Jónnson, B. and Tarski, A.1951Boolean Algebras with Operators I, American Journal of mathematics, 891-939. Zbl0045.31505
41. Kamp, Hans and de Jongh, Dick H.J.1964LISP-ALGOL-programma voor de intuitionistische propositielogica, [LISP-ALGOL program for the intuitionistic propositional calculus] (R 1014, codenr. JON 260364/7266 and R 1057 codenr. JON 260364/8615), typescript, unpublished. 
42. Kanger, Stig1957Provability in Logic, Stockholm: Almqvist and Wiksell. Zbl0077.01202
43. Kreisel, Georg Review of [Beth 1956b], Zentralblatt für Mathematik, 73, 249-250. 
44. Kripke, Saul A.1959a A Completeness Theorem in Modal Logic, The Journal of Symbolic Logic, 24, 1-14 (received August 25, 1958, published Nov. 26, 1959, in no. 1 of vol. 24). Zbl0091.00902
45. Kripke, Saul A.1959b Semantical Analysis of Modal Logic, (abstract), The Journal of Symbolic Logic, 24, 323-324 (received Oct. 21, 1959, published March 24, 1961, in no. 4 of vol. 24). Zbl0163.00502
46. Kripke, Saul A.1963a Semantical Analysis of Modal Logic I, Normal Modal propositional calculi, Zeitschrift für math. Logik und Grundlagen der Math., 9, 67-96. Zbl0118.01305
47. Kripke, Saul A.1963b Semantical Considerations on Modal Logic, Acta Philosophica Fennica, 16, 83-94. Zbl0131.00602
48. Kripke, Saul A.Semantic Analysis of Intuitionistic Logic I, Formal Systems and Recursive Functions (Proc. Eight Logic Colloquium, Oxford, July 1963), Amsterdam: North-Holland (Studies in Logic 125), 92-130. Zbl0137.00702
49. Lineal, S.L. and Post, Emil L.1949Recursive Unsolvability of the Deducibility, Tarski's Completeness, and the Independence of Axioms Problems of Propositional calculus, Bulletin of the American Mathematical Society, 55 (abstract 39), p. 50. 
50. McKinsey, J.C.C.1945On the Syntactical Construction of Systems of Modal Logic, The Journal of Symbolic Logic, 10, 83-94. Zbl0063.03865
51. McKinsey, J.C.C. and Tarski, A.1948Some Theorems about the Sentential Calculi of Lewis and Heyting, The Journal of Symbolic Logic, 13, 1-15. Zbl0037.29409
52. Maehara, S.1954Eine Darstellung der intuitionistischen Logik in der klassischen, Nagoya Mathematical Journal, 7, 45-64. Zbl0056.24702
53. Nieland, Johannes J.F.1960Nieuwe onderwerpen te verzorgen door J.J.F. Nieland, bijeenkomst over Kripke op 4, 16, 18 Mei, 1960 in E.W. Beth, privatissimum, Logica en Wijsbegeerte der Exacte Wetenschappen, no. 158-160. 
54. Nieland, Johannes J.F. and Beth, Evert W.1961Construction sémantique du système S4. Compte-rendu des travaux effectués par l'Université d'Amsterdam dans le cadre du contrat Euratom, Rapport CETIS, 26 (Rapport no. 6), 66-74. 
55. Notulenboek1961/ 1963Notulenboek [Minutes] Euratom, unpublished. 
56. Tarski, Alfred1947Problems of Mathematics, Princeton University Bicentennial Conferences 1946, Series 2, Conference 2, 10-12: Princeton University Press. Zbl0063.06345
57. Troelstra, Anne S.1977Choice Sequences, a Chapter of Intuitionistic Mathematics, Oxford: Clarendon Press. Zbl0355.02026
58. Troelstra, A.S. and Schwichtenberg, H.1996Basic Proof Theory, Cambridge: Cambridge University Press. Zbl0868.03024
59. Veldman, W.1976An Introduction to the Intuitionistic Completeness Theorem for Intuitionistic Predicate Logic, The Journal of Symbolic Logic, 41, 159-166. Zbl0355.02018
60. Yntema, Mary K.1964A Detailed Argument for the Post-Lineal Theorems, Notre Dame Journal of formal Logic, 5 (No. 1), 37-50. Zbl0168.25604