A survey of predicate realizability logic

DOI10.1134/S0081543811060137zbMath1294.03040MaRDI QIDQ2510768

Valerii E. Plisko

Publication date: 4 August 2014

Published in: Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

Related Items (1)

On hyperarithmetical realizability

Cites Work

• Constructive formalization of the Tennenbaum theorem and its applications
• Propositional logics of closed and open substitutions over Heyting's arithmetic
• On correlation of some concepts in the constructive model theory
• Modified realizability and predicate logic
• SOME VARIANTS OF THE NOTION OF REALIZABILITY FOR PREDICATE FORMULAS
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Transfinite Sequences of Constructive Predicate Logics
• A Survey of Propositional Realizability Logic
• THE NONARITHMETICITY OF THE CLASS OF REALIZABLE PREDICATE FORMULAS
• Propositional Calculus and Realizability
• Recursive Functions and Intuitionistic Number Theory
• On the interpretation of intuitionistic number theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A survey of predicate realizability logic