Constructive Sheaf Semantics

@article{Palmgren1997ConstructiveSS,
  title={Constructive Sheaf Semantics},
  author={Erik Palmgren},
  journal={Math. Log. Q.},
  year={1997},
  volume={43},
  pages={321-327}
}
Sheaf semantics is developed within a constructive and predicative framework, Martin-Lof's type theory. We prove strong completeness of many sorted, first order intu- itionistic logic with respect to this semantics, by using sites of provably functional relations. 

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 14 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-5 OF 5 REFERENCES

A sheaftheoretic foundation for nonstandard analysis

I. MOERDIJK, J. M. SMITH, E. PALMGREN
  • J . Symbolic Logic
  • 1995

Complete Heyting and Boolean algebras over a partial ordering : Constructive approaches

A. G. DRAGALIN
  • Toposes and Local Set Theories
  • 1988