A functional algebraic model equivalent to Kleene's slash realizability

DOI10.1023/B:MATN.0000015030.71163.25MaRDI QIDQ869790zbMATH OpenFDO

Authors V. Kh. Khakhanyan

Publication date 9 March 2007

Published in Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

intuitionistic arithmeticfunctional pseudoboolean algebraKleene's realizability

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Intuitionistic mathematics (03F55)

This page was built for publication: A functional algebraic model equivalent to Kleene's slash realizability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q869790)