The time separation principle and the analysis of a class of quasifinite plausible reasonings (in terms of the Cantor uncountability theorem)

Publication date: 13 February 2001

Published in: Doklady Mathematics (Search for Journal in Brave)

Cantor theorem logical correctness of formal inferences time separation principle

Applications of set theory (03E75) Proof theory and constructive mathematics (03F99)

This page was built for publication: The time separation principle and the analysis of a class of quasifinite plausible reasonings (in terms of the Cantor uncountability theorem)