Beth's nonclassical valuations

Dick de Jongh; Paul van Ulsen

Philosophia Scientiae (1998-1999)

  • Volume: 3, Issue: 4, page 279-302
  • ISSN: 1281-2463

How to cite


de Jongh, Dick, and van Ulsen, Paul. "Beth's nonclassical valuations." Philosophia Scientiae 3.4 (1998-1999): 279-302. <>.

author = {de Jongh, Dick, van Ulsen, Paul},
journal = {Philosophia Scientiae},
language = {eng},
number = {4},
pages = {279-302},
publisher = {Éditions Kimé},
title = {Beth's nonclassical valuations},
url = {},
volume = {3},
year = {1998-1999},

AU - de Jongh, Dick
AU - van Ulsen, Paul
TI - Beth's nonclassical valuations
JO - Philosophia Scientiae
PY - 1998-1999
PB - Éditions Kimé
VL - 3
IS - 4
SP - 279
EP - 302
LA - eng
UR -
ER -


  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

NotesEmbed ?


You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.


Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.