scientific article; zbMATH DE number 21247

MaRDI QIDQ3980271zbMATH OpenFDO

Authors F. L. Varpakhovskii

Publication date 26 June 1992

zbMATH Keywords

axiomatizationrealizable propositional formulae

Mathematics Subject Classification ID

Intermediate logics (03B55)

Recommendations

• scientific article; zbMATH DE number 1948155
• scientific article; zbMATH DE number 2174389
• On two attempts of describing propositional realizability logic
• A Survey of Propositional Realizability Logic

Cited in

(8)

• On two attempts of describing propositional realizability logic
• scientific article; zbMATH DE number 2174389 (Why is no real title available?)
• scientific article; zbMATH DE number 6863647 (Why is no real title available?)
• A Survey of Propositional Realizability Logic
• scientific article; zbMATH DE number 1948155 (Why is no real title available?)
• scientific article; zbMATH DE number 910432 (Why is no real title available?)
• Modified realizability and predicate logic
• Generalized realizability for extensions of the language of arithmetic

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 Q3980271)