Assertions depending on time and corresponding logical calculi

Andrzej Grzegorczyk

Compositio Mathematica (1968)

  • Volume: 20, page 83-87
  • ISSN: 0010-437X

How to cite


Grzegorczyk, Andrzej. "Assertions depending on time and corresponding logical calculi." Compositio Mathematica 20 (1968): 83-87. <>.

author = {Grzegorczyk, Andrzej},
journal = {Compositio Mathematica},
keywords = {general logic},
language = {eng},
pages = {83-87},
publisher = {Wolters-Noordhoff Publishing},
title = {Assertions depending on time and corresponding logical calculi},
url = {},
volume = {20},
year = {1968},

AU - Grzegorczyk, Andrzej
TI - Assertions depending on time and corresponding logical calculi
JO - Compositio Mathematica
PY - 1968
PB - Wolters-Noordhoff Publishing
VL - 20
SP - 83
EP - 87
LA - eng
KW - general logic
UR -
ER -


  1. A.R. Anderson and N.D. BelnapJr. [1] The pure calculus of entailment. Journal of Symbolic Logic27 (1962) pp. 19-52. Zbl0113.00403MR154795
  2. A. Grzegorczyk [2] A philosophically plausible formal interpretation of intuitionistic logic. Indagationes Mathematicae26 (1964) pp. 596-601. Zbl0131.00701MR172796
  3. S.A. Kripke [3] Semantical analysis of intuitionistic logic I. In: Formal Systems and Recursive Functions. Studies in Logic, Amsterdam1965. Zbl0137.00702MR201300
  4. Henryk Mehlberg [4] The Reach of Science. Toronto, 1958 pp. 283-284. 
  5. Karl R. Popper [5] The Logic of Scientific Discovery. London, 1959. Zbl0083.24104MR107593
  6. A. Tarski [6] Der Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica1(1935) pp. 261-405. Zbl0013.28903

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.