Constructive proof theory and nonstandard analysis. Edited by G. E. Mints

MaRDI QIDQ3418695zbMATH OpenFDO

Authors Albert G. Dragalin

Publication date 24 January 2007

zbMATH Keywords

automated theorem provingintuitionistic proof theorynonstandard analysisphilosophy of mathematics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Collected or selected works; reprintings or translations of classics (01A75) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Mechanization of proofs and logical operations (03B35) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Cut-elimination and normal-form theorems (03F05) Intuitionistic mathematics (03F55) Nonstandard models in mathematics (03H05)

Recommendations

• scientific article; zbMATH DE number 4035828
• Constructive mathematics and mathematical logic. Part X. Transl. from the Russian
• scientific article; zbMATH DE number 1738105
• scientific article; zbMATH DE number 192927
• scientific article; zbMATH DE number 3900744

Cited in

(4)

• The monotonic sequence theorem and measurement of lengths and areas in axiomatic non-standard hyperrational analysis
• A model-theoretic approach to proof theory. Edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski
• Chair of Mathematical Logic and Theory of Algorithms
• Adaptive human-machine theorem proving system

This page was built for publication: Constructive proof theory and nonstandard analysis. Edited by G. E. Mints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3418695)