scientific article; zbMATH DE number 4093448

MaRDI QIDQ3820599zbMATH OpenFDO

Authors A. A. Voronkov

Publication date 1988

zbMATH Keywords

constructive calculusconstructive model theoryconstructive truthintuitionistic theoriesprogram synthesis

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of numerations, effectively presented structures (03D45) Proof theory and constructive mathematics (03F99)

Cited in

(10)

• Interpreting the compositional truth predicate in models of arithmetic
• Interpretation of constructive multi-typed theory in the theory of arithmetical truth
• Correlation of some notions of constructive model theory
• scientific article; zbMATH DE number 4081553 (Why is no real title available?)
• scientific article; zbMATH DE number 65751 (Why is no real title available?)
• scientific article; zbMATH DE number 4125400 (Why is no real title available?)
• scientific article; zbMATH DE number 1972780 (Why is no real title available?)
• scientific article; zbMATH DE number 4118367 (Why is no real title available?)
• scientific article; zbMATH DE number 2099534 (Why is no real title available?)
• scientific article; zbMATH DE number 4187806 (Why is no real title available?)

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