Reasoning continuously: a formal construction of continuous proofs

DOI10.1007/s11225-019-09892-zzbMath1484.03118OpenAlexW3002865568WikidataQ113900499 ScholiaQ113900499MaRDI QIDQ2027208

Yanyan Li

Publication date: 25 May 2021

Published in: Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

continuityproof theoryintuitionismconstructivismcontinuous proof

Mathematics Subject Classification ID

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

Cites Work

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

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