Propositional logics of closed and open substitutions over Heyting's arithmetic

DOI10.1305/NDJFL/1163775437zbMath1113.03053OpenAlexW2022617953MaRDI QIDQ866492

Albert Visser

Publication date: 20 February 2007

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/26751

zbMATH Keywords

propositional logicrealizabilityconstructive arithmetical theoriesclosed substitutionsopen substitutions

Mathematics Subject Classification ID

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

Related Items (2)

A survey of predicate realizability logic ⋮ A Survey of Propositional Realizability Logic

This page was built for publication: Propositional logics of closed and open substitutions over Heyting's arithmetic