On some non-classical extensions of second-order intuitionistic propositional calculus

DOI10.1016/0168-0072(84)90010-1zbMath0569.03026OpenAlexW1995421582MaRDI QIDQ1061123

Andrej Scedrov

Publication date: 1984

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(84)90010-1

zbMATH Keywords

toposcontinuity principlestruth value object

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Intuitionistic mathematics (03F55)

Related Items (2)

Propositional quantification in the topological semantics for \(\mathbf S4\) ⋮ Pitts' quantifiers are not topological quantification

Cites Work

• Automorphisms of \(\Omega\)
• A Topological Model for Intuitionistic Analysis with Kripke's Scheme
• Constructive set theory
• An interpretation of intuitionistic analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On some non-classical extensions of second-order intuitionistic propositional calculus