scientific article; zbMATH DE number 21247

zbMATH Open0742.03002MaRDI QIDQ3980271FDOQ3980271

Authors: F. L. Varpakhovskii 

Publication date: 26 June 1992

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

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

zbMATH Keywords

axiomatizationrealizable propositional formulae

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cited In (8)

• Title not available (Why is that?)
• A Survey of Propositional Realizability Logic
• Modified realizability and predicate logic
• Generalized realizability for extensions of the language of arithmetic
• Title not available (Why is that?)
• Title not available (Why is that?)
• On two attempts of describing propositional realizability logic
• 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 Q3980271)