Absolute \(L\)-realizability and intuitionistic logic

DOI10.3103/S0027132219020086zbMath1477.03023OpenAlexW2943915108MaRDI QIDQ2320010

Aleksandr Yur'evich Konovalov

Publication date: 21 August 2019

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3103/s0027132219020086

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

A Generalized Realizability and Intuitionistic Logic ⋮ Basic predicate calculus is sound with respect to a modified version of strictly primitive recursive realizability ⋮ General recursive realizability and intuitionistic logic

Cites Work

• Unnamed Item
• On hyperarithmetical realizability
• Arithmetical realizability and basic logic
• ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS
• Basic predicate calculus

This page was built for publication: Absolute \(L\)-realizability and intuitionistic logic