previous :: next
A survey of propositional realizability logic
Valery Plisko
Source: Bull. Symbolic Logic Volume 15, Issue 1
(2009), 1-42.
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.
First Page:
Show
Hide
Full-text: Access denied (no subscription
detected)
We're sorry, but we are unable to provide
you with the full text of this article because we are not able to identify
you as a subscriber.
If you have a personal subscription to
this journal, then please login. If you are already logged in, then you
may need to update your profile to register your subscription. Read more about accessing full-text
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.bsl/1231081768
Digital Object Identifier: doi:10.2178/bsl/1231081768
Mathematical Reviews number (MathSciNet): MR2502890
Zentralblatt MATH identifier: 05532693
previous :: next
