scientific article; zbMATH DE number 3557757

MaRDI QIDQ4133605zbMATH OpenFDO

Authors Valery Plisko

Publication date 1976

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Recommendations

• ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS
• Modified realizability and predicate logic
• scientific article; zbMATH DE number 2019914
• Generalized Realizability and Basic Logic
• Absolute L-realizability and intuitionistic logic

Cited in

(10)

• Modified realizability and predicate logic
• Realizability interpretation of generalized inductive definitions
• Possible predicates and actual properties
• Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability
• On hyperarithmetical realizability
• ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS
• Transfinite sequences of constructive predicate logics
• scientific article; zbMATH DE number 1948155 (Why is no real title available?)
• scientific article; zbMATH DE number 845621 (Why is no real title available?)
• Generalized Realizability and Basic Logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4133605)