This article is cited in 2 papers

A survey of predicate realizability logic

Valerii E. Plisko

Faculty of Mechanics and Mathematics, Moscow State University, Moscow, Russia

Abstract: The paper contains a survey of the results and methods of studying interpretations of predicate formulas based on constructive semantics of the first-order language of arithmetic and its extensions.

UDC: 510.64

Received in January 2011

 English version: Proceedings of the Steklov Institute of Mathematics, 2011, 274, 204–230

Bibliographic databases:

• 
• 
• 
• 
•