Bulletin of Symbolic Logic 15 (1):1-42 (2009)
|Abstract||The study of propositional realizability logic was initiated in the 50th of the last century. Some interesting results were obtained in the 60-70th. but many important problems in this area are still open. Now interest to these problems from new generation of researchers is observed. This survey contains an exposition of the results on propositional realizability logic and corresponding techniques. Thus reading this paper can be the start point in exploring and development of constructive logic|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Lars Birkedal (2002). A General Notion of Realizability. Bulletin of Symbolic Logic 8 (2):266-282.
Nathan Segerlind (2007). The Complexity of Propositional Proofs. Bulletin of Symbolic Logic 13 (4):417-481.
Merlijn Sevenster (2006). On the Computational Consequences of Independence in Propositional Logic. Synthese 149 (2):257 - 283.
Alexander Chagrov & Michael Zakharyashchev (1992). Modal Companions of Intermediate Propositional Logics. Studia Logica 51 (1):49 - 82.
David Sherry (2006). Formal Logic for Informal Logicians. Informal Logic 26 (2):199-220.
Jan Krajíček (1995). Bounded Arithmetic, Propositional Logic, and Complexity Theory. Cambridge University Press.
Eric Funkhouser (2007). A Liberal Conception of Multiple Realizability. Philosophical Studies 132 (3):467-494.
Michael J. Carroll (1976). On Interpreting the S5 Propositional Calculus: An Essay in Philosophical Logic. Dissertation, University of Iowa
Fernando Ferreira & Ana Nunes (2006). Bounded Modified Realizability. Journal of Symbolic Logic 71 (1):329 - 346.
Anthony Shiver (2013). Propositional Logic Card Games. Teaching Philosophy 36 (1):51-58.
Steve Awodey, Lars Birkedal & Dana Scott, Local Realizability Toposes and a Modal Logic for Computability.
David Ellerman (2010). The Logic of Partitions: Introduction to the Dual of the Logic of Subsets. Review of Symbolic Logic 3 (2):287-350.
Kevin C. Klement, Propositional Logic. Internet Encyclopedia of Philosophy.
G. Aldo Antonelli & Richmond H. Thomason (2002). Representability in Second-Order Propositional Poly-Modal Logic. Journal of Symbolic Logic 67 (3):1039-1054.
Added to index2010-09-13
Total downloads7 ( #142,326 of 722,873 )
Recent downloads (6 months)1 ( #60,917 of 722,873 )
How can I increase my downloads?