scientific article; zbMATH DE number 3557757

zbMATH Open0358.02035MaRDI QIDQ4133605FDOQ4133605

Valery Plisko

Publication date: 1976

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Cited In (6)

• Generalized Realizability and Basic Logic
• Basic predicate calculus is not sound with respect to the strong variant of strictly primitive recursive realizability
• Title not available (Why is that?)
• Possible predicates and actual properties
• ABSOLUTE REALIZABILITY OF PREDICATE FORMULAS
• Title not available (Why is that?)

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)