An Application of Constructive Completeness

  title={An Application of Constructive Completeness},
  author={Thierry Coquand and Jan M. Smith},

From This Paper

Topics from this paper.


Publications referenced by this paper.
Showing 1-10 of 15 references

An explicit boolean-valued model for non-standard arithmetic

  • Albert G. Dragalin
  • Publ. Math. Drebecen,
  • 1993
Highly Influential
7 Excerpts

Intuitionistic Formal Spaces - A First Communication

  • Giovanni Sambin
  • 1986
Highly Influential
8 Excerpts

Der Aussagenkalk ul und die Topologie

  • A. Tarski
  • Fundamenta Mathematicae,
  • 1938
Highly Influential
8 Excerpts

Nordstr om, and Bj orn von Sydow. A User's Guide to ALF

  • Thorsten Altenkirch, Veronica Gaspes, Bengt
  • Chalmers University of Technology,
  • 1994
Highly Influential
4 Excerpts

Choice Sequences, a Chapter of Intuitionistic Mathematics

  • A. S. Troelstra
  • 1977
Highly Influential
4 Excerpts

A formalization of a constructive completeness proof for intuitionistic predicate logic. Draft, Chalmers University of Technology, G

  • Henrik Persson
  • oteborg,
  • 1995
3 Excerpts

Similar Papers

Loading similar papers…