Kripke models, distributive lattices, and Medvedev degrees

被引：0

作者：

Terwijn S.A. ^{[1
]}

机构：

[1] Institute for Discrete Mathematics and Geometry, Technical University of Vienna, A-1040 Vienna

来源：

Studia Logica | 2007年 / 85卷 / 3期

基金：

奥地利科学基金会;

关键词：

Intuitionistic propositional logic; Kripke semantics; Medvedev degrees;

D O I：

10.1007/s11225-007-9054-9

中图分类号：

学科分类号：

摘要：

We define a variant of the standard Kripke semantics for intuitionistic logic, motivated by the connection between constructive logic and the Medvedev lattice. We show that while the new semantics is still complete, it gives a simple and direct correspondence between Kripke models and algebraic structures such as factors of the Medvedev lattice. © 2007 Springer Science+Business Media B.V.

引用

页码：319 / 332

页数：13

共 17 条

[1]

Heyting A., Die Formalen Regeln der Intuitionistischen Logik, pp. 42-56, (1930)

[2]

Jankov A.V., Calculus of the weak law of the excluded middle, Izv. Akad. Nauk SSSR Ser. Mat., 32, pp. 1044-1051, (1968)

[3]

Jaskowski S., Recherches sur le système de la logique intuitioniste, Actes du Congrès International de Philosophie Scientifique VI, Philosophie des Mathèmatiques, Actualitès Scientifiques et Industrielles, 393, pp. 58-61, (1936)

[4]

Kleene S.C., On the interpretation of intuitionistic number theory, Journal of Symbolic Logic, 10, pp. 109-124, (1945)

[5]

Kolmogorov A., Zur Deutung der intuitionistischen Logik, Mathematische Zeitschrift, 35, pp. 58-65, (1932)

[6]

Kripke S., Semantical analysis of intuitionistic logic, Formal Systems and Recursive Functions, pp. 92-130, (1965)

[7]

Medvedev Y.T., Degrees of difficulty of the mass problems, Dokl. Akad. Nauk. SSSR, 104, pp. 501-504, (1955)

[8]

Medvedev Y.T., Finite problems, Dokl. Akad. Nauk. SSSR (NS), 142, pp. 1015-1018, (1962)

[9]

Rose G.F., Propositional calculus and realizability, Transactions of the American Mathematical Society, 75, pp. 1-19, (1953)

[10]

Skvortsova E.Z., A faithful interpretation of the intuitionistic propositional calculus by means of an initial segment of the Medvedev lattice, Sibirsk. Math. Zh., 29, pp. 171-178, (1988)

← 1 2 →