Reasoning continuously: a formal construction of continuous proofs

DOI10.1007/S11225-019-09892-ZMaRDI QIDQ2027208zbMATH OpenOpenAlexWikidataFDO

Authors Yanyan Li

Publication date 25 May 2021

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s11225-019-09892-z

zbMATH Keywords

constructivismcontinuitycontinuous proofintuitionismproof theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03) Intuitionistic mathematics (03F55) Other constructive mathematics (03F65)

Recommendations

• On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions
• scientific article; zbMATH DE number 1670623
• Arguments for the Continuity Principle
• Proving theorems in a real field by means of continual induction
• Reasoning about continuous systems

Cites work

• DNA computing. New computing paradigms.
• DNA computing: Arrival of biological mathematics
• Normal proofs, cut free derivations and structural rules

Cited in

(1)

• Reasoning about continuous systems

This page was built for publication: Reasoning continuously: a formal construction of continuous proofs

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