Bulletin of Symbolic Logic 8 (2):266-282 (2002)
|Abstract||We present a general notion of realizability encompassing both standard Kleene style realizability over partial combinatory algebras and Kleene style realizability over more general structures, including all partial cartesian closed categories. We shown how the general notion of realizability can be used to get models of dependent predicate logic, thus obtaining as a corollary (the known result) that the category Equ of equilogical spaces models dependent predicate logic. Moreover, we characterize when the general notion of realizability gives rise to a topos, i.e., a model of impredicative intuitionistic higher-order logic|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
Eric Funkhouser (2007). A Liberal Conception of Multiple Realizability. Philosophical Studies 132 (3):467-494.
Valery Plisko (2009). A Survey of Propositional Realizability Logic. Bulletin of Symbolic Logic 15 (1):1-42.
Eric Funkhouser (2007). Multiple Realizability. Philosophy Compass 2 (2):303–315.
Steve Awodey, Lars Birkedal & Dana Scott, Local Realizability Toposes and a Modal Logic for Computability.
Jaap Van Oosten (1991). Extension of Lifschitz' Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman. Journal of Symbolic Logic 56 (3):964 - 973.
Zlatan Damnjanovic (1997). Elementary Realizability. Journal of Philosophical Logic 26 (3):311-339.
Jaap Van Oosten (1990). Lifschitz' Realizability. Journal of Symbolic Logic 55 (2):805 - 821.
Jaap van Oosten (2011). Partial Combinatory Algebras of Functions. Notre Dame Journal of Formal Logic 52 (4):431-448.
Fernando Ferreira & Ana Nunes (2006). Bounded Modified Realizability. Journal of Symbolic Logic 71 (1):329 - 346.
Zlatan Damnjanovic (1994). Strictly Primitive Recursive Realizability, I. Journal of Symbolic Logic 59 (4):1210-1227.
Added to index2009-01-28
Total downloads2 ( #232,316 of 549,013 )
Recent downloads (6 months)1 ( #63,261 of 549,013 )
How can I increase my downloads?