The continuum and first-order intuitionistic logic

DOI10.2307/2275374zbMath0766.03036OpenAlexW2095702532MaRDI QIDQ4032668

Dirk van Dalen

Publication date: 1 April 1993

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

Full work available at URL: https://doi.org/10.2307/2275374

zbMATH Keywords

continuumintuitionistic logicrationalsrealselementary subsystemlanguage of apartnesslanguage of ordering

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Basic properties of first-order languages and structures (03C07)

Related Items (3)

Fresh logic: Proof-theory and semantics for FM and nominal techniques ⋮ A constructive approach to state description semantics ⋮ Computable Kripke models and intermediate logics

Cites Work

• Constructivism in mathematics. An introduction. Volume II

This page was built for publication: The continuum and first-order intuitionistic logic