scientific article; zbMATH DE number 4053610

MaRDI QIDQ3789559zbMATH OpenFDO

Authors S. G. Karagebakyan

Publication date 1987

zbMATH Keywords

bounded primitive recursionrecursive realizabilitysubrecursive class

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Recommendations

• scientific article; zbMATH DE number 4142010
• scientific article; zbMATH DE number 4089535
• General recursive realizability and basic logic
• scientific article; zbMATH DE number 4004179
• General recursive realizability and intuitionistic logic

Cited in

(9)

• Subintuitionistic logics
• A theory of rules for enumerated classes of functions
• Subtyping in logical form
• scientific article; zbMATH DE number 4142010 (Why is no real title available?)
• Reverse constructive logic
• scientific article; zbMATH DE number 4089535 (Why is no real title available?)
• Substructural logic and partial correctness
• Substructural Logics in Natural Deduction
• Propositional logics of closed and open substitutions over Heyting's 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 Q3789559)