Assertions depending on time and corresponding logical calculi

Andrzej Grzegorczyk

Compositio Mathematica (1968)

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

How to cite

top

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

@article{Grzegorczyk1968,
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 = {http://eudml.org/doc/88987},
volume = {20},
year = {1968},
}

TY - JOUR
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 - http://eudml.org/doc/88987
ER -

References

top
  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 ?

top

You must be logged in to post comments.