Uniform provability realization of intuitionistic logic, modality and λ-terms

Electronic Notes in Theoretical Computer Science

Volumn 23, Issue 1, 1999, Pages 3-12

  Artemov, Sergei N ^a  

^a School of Operations Research and Information Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; MODAL ANALYSIS; NUMBER THEORY; POLYNOMIALS; PROBLEM SOLVING; SEMANTICS;

AXIOM SYSTEMS; INTUITIONISTIC LOGIC; MODALITY; PROVABILITY SEMANTICS;

FORMAL LOGIC;

EID: 19044372757     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00100-8     Document Type: Conference Paper

References (22)

1. S. Artemov, Operational Modal Logic, Technical Report MSI 95-29, Cornell University, 1995 (http://www.cs.cornell.edu/home/artemov/MSI98-29.ps).
2. S. Artemov, Logic of Proofs: a Unified Semantics for Modality and λ-terms, Technical Report CFIS 98-06, Cornell University, 1998 (http://www.cs.cornell.edu/home/artemov/CFIS98-06.ps).
3. S. Artemov, Unified Semantics for modality and λ-terms via Proof Polynomials, Technical Report CFIS 99-03, Cornell University, 1999. To appear in "Logic, Language and Computation'97, CSLI Publications", Stanford University, 1999.
4. G. Bierman and V. de Paiva, Intuitionistic necessity revisited, Proceedings of the logic of Work Conference, Amsterdam (December 1992), Second revison, June 1996, (http://theory.doc.ic.ac.uk/tfm/papers.html).
5. Gäodel K. Eine Interpretation des intuitionistischen Aussagenkalkuls. Ergebnisse Math. Colloq. Bd. 4:1933;39-40
6. Gödel K. Vortrag bei Zilsel (1938). Feferman S. "Kurt Gödel Collected Works. Volume III" 1995;Oxford University Press
7. Goodman N. A theory of constructions equivalent to arithmetic. Myhill J., Kino A., Vesley R. "Intuitionism and Proof Theory" 1970;101-120 North-Holland, Amsterdam
8. Heyting A. Die formalin Regeln der intuitionistischen Logik, Sitzungsberichte der Preussischen Adademie von Wissenschaften. Physikalisch-mathematische Klasse. 1930;42-56
9. de Jongh D., Japaridze G. Logic of Provability. Buss S. "Handbook of Proof Theory" 1998;Elsevier
10. Kleene S. On the interpretation of intuitionistic number theory. Journal of Symbolic Logic. v. 10:1945;109-124
11. Kolmogoroff A. "Zur Deutung der intuitionistischen Logik" Math. Ztshr Bd. S. 35:1932;58-65
12. A. Kolmogorov, About my papers on intuitionistic logic, In: "A.N. Kolmogorov, Selected works", p. 393, 1985 (Russian), p. 451-452 (English)
13. Kozen D., Tiuryn J. Logic of Programs. "Handbook of Theoretical Computer Science. Volume B, Formal Models and Semantics" 1990;789-840 The MIT Press/Elservier
14. G. Kreisel, Foundations of intuitionistic logic, in E. Nagel, P. Suppes and A. Tarski, eds., Logic, Methodology and Philosophy of Science, Proceedings of the 1960 International Congress, Stanford University Press, Standford, pp. 198-210, 1962.
15. Kreisel G. Mathematical Logic. Saaty T.L. "Lectures in Modern Mathematics III" 1965;95-195 Wiley and Sons, New York
16. McKinsey J.C.C., Taraski A. Some theorems about the sentential calculi of Lewis and Heyting. Journal of Symbolic Logic. v. 13:1948;1-15
17. Parsons C., Sieg W. Introductory note to *1938a. Feferman S. "Kurt Gödel Collected Works. Volume III" 1995;62-85 Oxford University Press
18. Pfenning F., Wong H.C. On a modal lambda-calculus for S4. "Electronic Notes in Computer Science" v.1:1995
19. Troelstra A.S., van Dalen D. "Constructivism in Mathematics. An Introduction" v. 1:1988;North Holland, Amsterdam
20. Troelstra A.S., Schwichtenberg H. "Basic Proof Theory," 1966;Cambridge University Press
21. van Osten J. A semantical proof of De Jongh's theorem. Archive for Mathematical Logic. 1991;105-114
22. Weinstein S. The intended interpretation of intuitionistic logic. Journal of Philosophical Logic. 12:1983;261-270