Absolute L-Realizability and Intuitionistic Logic

被引：4

作者：

Konovalov, A. Yu ^{[1
]}

机构：

[1] Moscow MV Lomonosov State Univ, Fac Mech & Math, Moscow 119991, Russia

来源：

MOSCOW UNIVERSITY MATHEMATICS BULLETIN | 2019年 / 74卷 / 02期

关键词：

D O I：

10.3103/S0027132219020086

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

An absolute L-realizability of predicate formulas is introduced for all countable extensions L of the language of arithmetic. It is proved that the intuitionistic logic is not sound with this semantics.

引用

页码：79 / 82

页数：4

共 50 条

[1] Absolute L-Realizability and Intuitionistic Logic
A. Yu. Konovalov
[J]. Moscow University Mathematics Bulletin, 2019, 74 : 79 - 82
[2] REALIZABILITY AND INTUITIONISTIC LOGIC
DILLER, J
TROELSTRA, AS
[J]. SYNTHESE, 1984, 60 (02) : 253 - 282
[3] A Generalized Realizability and Intuitionistic Logic
Konovalov, Aleksandr
[J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2023, 24 (02)
[4] General Recursive Realizability and Intuitionistic Logic
A. Yu. Konovalov
[J]. Algebra and Logic, 2021, 60 : 89 - 94
[5] General Recursive Realizability and Intuitionistic Logic
Konovalov, A. Yu
[J]. ALGEBRA AND LOGIC, 2021, 60 (02) : 89 - 94
[6] Absolute probability functions for intuitionistic propositional logic
Roeper, P
Leblanc, H
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1999, 28 (03) : 223 - 234
[7] Absolute Probability Functions for Intuitionistic Propositional Logic
Peter Roeper
Hugues Leblanc
[J]. Journal of Philosophical Logic, 1999, 28 : 223 - 234
[8] Hybrid realizability for intuitionistic and classical choice
Blot, Valentin
[J]. PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 575 - 584
[9] Extensional realizability for intuitionistic set theory
Frittaion, Emanuele
Rathjen, Michael
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2021, 31 (02) : 630 - 653
[10] RECURSIVE REALIZABILITY FROM INTUITIONISTIC VIEWPOINT
GAVRILENKO, IV
[J]. DOKLADY AKADEMII NAUK SSSR, 1981, 256 (01): : 18 - 22

← 1 2 3 4 5 →