Constructive Sheaf Semantics
From MaRDI portal
Publication:4351921
DOI10.1002/malq.19970430304zbMath0934.03051OpenAlexW2078368926MaRDI QIDQ4351921
Publication date: 6 April 2000
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19970430304
Categorical logic, topoi (03G30) Second- and higher-order arithmetic and fragments (03F35) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Grothendieck topologies and Grothendieck topoi (18F10)
Related Items (9)
Algebraic proofs of cut elimination ⋮ A sheaf-theoretic foundation for nonstandard analysis ⋮ Classifying toposes for first-order theories ⋮ Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\) ⋮ An elementary definability theorem for first order logic ⋮ Forcing in Proof Theory ⋮ Syntactic forcing models for coherent logic ⋮ Possible worlds and resources: The semantics of \(\mathbf{BI}\) ⋮ A Boolean model of ultrafilters
Cites Work
This page was built for publication: Constructive Sheaf Semantics
