On Two Attempts of Describing Propositional Realizability Logic

DOI10.1093/LOGCOM/EXP045zbMath1237.03009OpenAlexW2091840088MaRDI QIDQ3094145

Valery Plisko

Publication date: 21 October 2011

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exp045

zbMATH Keywords

propositional logicrecursive realizabilityMarkov arithmetic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

This page was built for publication: On Two Attempts of Describing Propositional Realizability Logic