Some forms of excluded middle for linear orders

DOI10.1002/malq.201800038OpenAlexW2942275668MaRDI QIDQ5108849

Daniel Wessel, Peter M. Schuster

Publication date: 6 May 2020

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201800038

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Nonclassical and second-order set theories (03E70) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item
• Constructivism in mathematics. An introduction. Volume II
• Implicational complexity in intuitionistic arithmetic
• Choice Implies Excluded Middle
• Zorn's lemma and complete Boolean algebras in intuitionistic type theories
• A logic stronger than intuitionism

This page was built for publication: Some forms of excluded middle for linear orders