scientific article; zbMATH DE number 3313428
From MaRDI portal
Publication:5593817
zbMath0197.00201MaRDI QIDQ5593817
Publication date: 1968
Full work available at URL: http://www.numdam.org/item?id=CM_1968__20__194_0
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)
Related Items (17)
More on real algebra in Scott's model ⋮ A sheaf model for intuitionistic quantum mechanics ⋮ Unnamed Item ⋮ Realizing Brouwer's sequences ⋮ Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis ⋮ Intuitionistic mereology ⋮ Competitive equilibrium with intuitionistic agents ⋮ Topological forcing semantics with settling ⋮ Intuitionistic mereology. II: Overlap and disjointness ⋮ Topological models of epistemic set theory ⋮ A semantic hierarchy for intuitionistic logic ⋮ The topological models of intuitionistic analysis. One counterexample ⋮ Real numbers and projective spaces: intuitionistic reasoning with undecidable basic relations ⋮ Mass problems and intuitionistic higher-order logic ⋮ A new model for intuitionistic analysis ⋮ The real-algebraic structure of Scott's model of intuitionistic analysis ⋮ Bishop-Style Constructive Reverse Mathematics
Cites Work
This page was built for publication:
