Assertions depending on time and corresponding logical calculi
Compositio Mathematica (1968)
- Volume: 20, page 83-87
- ISSN: 0010-437X
Access Full Article
top
How to cite
topGrzegorczyk, 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- A.R. Anderson and N.D. BelnapJr. [1] The pure calculus of entailment. Journal of Symbolic Logic27 (1962) pp. 19-52. Zbl0113.00403MR154795
- A. Grzegorczyk [2] A philosophically plausible formal interpretation of intuitionistic logic. Indagationes Mathematicae26 (1964) pp. 596-601. Zbl0131.00701MR172796
- S.A. Kripke [3] Semantical analysis of intuitionistic logic I. In: Formal Systems and Recursive Functions. Studies in Logic, Amsterdam1965. Zbl0137.00702MR201300
- Henryk Mehlberg [4] The Reach of Science. Toronto, 1958 pp. 283-284.
- Karl R. Popper [5] The Logic of Scientific Discovery. London, 1959. Zbl0083.24104MR107593
- A. Tarski [6] Der Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica1(1935) pp. 261-405. Zbl0013.28903
NotesEmbed ?
topYou 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.