Functional interpretation of classical (AC)o-, (ωAC)-analysis with (ER)-qf and functional interpretation in the narrower sense of Heyting-analysis plus (ER)-qf, (MP), $$(\underrightarrow V),( \urcorner \Lambda \urcorner )^o ,(\mathop \omega \limits^{ \urcorner \urcorner } AC)$$ in T⋃BR
Keyword(s):
Keyword(s):
1991 ◽
Vol 2
(4)
◽
pp. 245-287
◽
Keyword(s):
2013 ◽
Vol 18
(4)
◽
pp. 479-505
◽
2012 ◽
Vol 279
(1739)
◽
pp. 2793-2799
◽
2009 ◽
Vol 7
◽
pp. 111-139
◽