The theory of empirical sequences

DOI10.1007/BF00262048zbMath0406.03072OpenAlexW2040922347MaRDI QIDQ1257482

Carl J. Posy

Publication date: 1977

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00262048

zbMATH Keywords

Intuitionistic AnalysisCreative SubjectEmpirical Choice Sequences

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Related Items (2)

Brouwer's constructivism ⋮ On brouwer's definition of unextendable order

Cites Work

• Brouwer's constructivism
• Varieties of indeterminacy in the theory of general choice sequences
• Untersuchungen über das logische Schliessen. I
• Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
• Epistemology Without Knowledge and Without Belief
• Formal systems for some branches of intuitionistic analysis
• Intuitionistische Untersuchungen der formalistischen Logik
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The theory of empirical sequences