Bulletin of Symbolic Logic 15 (1):1-42 (2009)
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)|
References found in this work BETA
No references found.
Citations of this work BETA
Intermediate Logics and the de Jongh Property.Dick De Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1):197-213.
Similar books and articles
The Complexity of Propositional Proofs.Nathan Segerlind - 2007 - Bulletin of Symbolic Logic 13 (4):417-481.
Modal Companions of Intermediate Propositional Logics.Alexander Chagrov & Michael Zakharyashchev - 1992 - Studia Logica 51 (1):49 - 82.
Bounded Arithmetic, Propositional Logic, and Complexity Theory.Jan Krajíček - 1995 - Cambridge University Press.
A Liberal Conception of Multiple Realizability.Eric Funkhouser - 2007 - Philosophical Studies 132 (3):467-494.
On Interpreting the S5 Propositional Calculus: An Essay in Philosophical Logic.Michael J. Carroll - 1976 - Dissertation, University of Iowa
Bounded Modified Realizability.Fernando Ferreira & Ana Nunes - 2006 - Journal of Symbolic Logic 71 (1):329 - 346.
Local Realizability Toposes and a Modal Logic for Computability.Steve Awodey, Lars Birkedal & Dana Scott - unknown
The Logic of Partitions: Introduction to the Dual of the Logic of Subsets.David Ellerman - 2010 - Review of Symbolic Logic 3 (2):287-350.
Representability in Second-Order Propositional Poly-Modal Logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
Added to index2010-09-13
Total downloads13 ( #357,754 of 2,178,195 )
Recent downloads (6 months)1 ( #316,497 of 2,178,195 )
How can I increase my downloads?