Basic Predicate Calculus is not Sound with Respect to the Strong Variant of Strictly Primitive Recursive Realizability
Matematičeskie zametki, Tome 111 (2022) no. 2, pp. 241-257
Voir la notice de l'article provenant de la source Math-Net.Ru
It is proved that basic predicate calculus BQC is not sound with respect to the strong variant of strictly primitive recursive realizability.
Keywords:
strictly primitive recursive realizability, basic predicate calculus BQC, constructive semantics, realizability.
@article{MZM_2022_111_2_a6,
author = {A. Yu. Konovalov},
title = {Basic {Predicate} {Calculus} is not {Sound} with {Respect} to the {Strong} {Variant} of {Strictly} {Primitive} {Recursive} {Realizability}},
journal = {Matemati\v{c}eskie zametki},
pages = {241--257},
publisher = {mathdoc},
volume = {111},
number = {2},
year = {2022},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/MZM_2022_111_2_a6/}
}
TY - JOUR AU - A. Yu. Konovalov TI - Basic Predicate Calculus is not Sound with Respect to the Strong Variant of Strictly Primitive Recursive Realizability JO - Matematičeskie zametki PY - 2022 SP - 241 EP - 257 VL - 111 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MZM_2022_111_2_a6/ LA - ru ID - MZM_2022_111_2_a6 ER -
%0 Journal Article %A A. Yu. Konovalov %T Basic Predicate Calculus is not Sound with Respect to the Strong Variant of Strictly Primitive Recursive Realizability %J Matematičeskie zametki %D 2022 %P 241-257 %V 111 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/MZM_2022_111_2_a6/ %G ru %F MZM_2022_111_2_a6
A. Yu. Konovalov. Basic Predicate Calculus is not Sound with Respect to the Strong Variant of Strictly Primitive Recursive Realizability. Matematičeskie zametki, Tome 111 (2022) no. 2, pp. 241-257. http://geodesic.mathdoc.fr/item/MZM_2022_111_2_a6/