scientific article; zbMATH DE number 4118367

MaRDI QIDQ4732469zbMATH OpenFDO

Authors A. A. Voronkov

Publication date 1988

zbMATH Keywords

constructive calculiconstructive truth

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45) Metamathematics of constructive systems (03F50)

Recommendations

• scientific article; zbMATH DE number 16511
• scientific article; zbMATH DE number 4093448
• scientific article; zbMATH DE number 3841820
• scientific article; zbMATH DE number 1301805
• Predicate logics of constructive mathematical theories

Cited in

(6)

• Exact truthmaking as inexact truthmaking by minimal totality facts
• On the way from logic to algebra
• scientific article; zbMATH DE number 3918365 (Why is no real title available?)
• Algorithmic theories of problems. A constructive and a non-constructive approach
• Constructive validity is nonarithmetic
• Groups of recursive automorphisms of constructive Boolean algebras

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