Linear Läuchli Semantics

  title={Linear L{\"a}uchli Semantics},
  author={Richard Blute and Philip J. Scott},
  journal={Ann. Pure Appl. Logic},
Dedicated to the memory of Moez Alimohamed Abstract We introduce a linear analogue of LL auchli's semantics for intuitionistic logic. In fact, our result is a strengthening of LL auchli's work to the level of proofs, rather than provability. This is obtained by considering continuous actions of the additive group of integers on a category of topological vector spaces. The semantics, based on functorial polymorphism, consists of dinatural transformations which are equivariant with respect to all… CONTINUE READING


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

Lambda De nability in the Full Type Hierarchy

  • G. D. Plotkin
  • in: To H.B. Curry, Essays on Combinatory Logic…
  • 1980
Highly Influential
17 Excerpts

Duality of Vector Spaces

  • M. Barr
  • Cahiers de Top. et G eom. Di . 17,
  • 1976
Highly Influential
15 Excerpts


  • J. Y. Girard
  • Lafont, P.Taylor, Proofs and Types, Cambridge…
  • 1989
Highly Influential
5 Excerpts

Introduction to Higher Order Categorical Logic

  • J. Lambek, P. J. Scott
  • Cambridge Uni- versity Press,
  • 1986
Highly Influential
5 Excerpts

auchli, An Abstract Notion of Realizability for which Intuitionistic Predicate Cal- culus is Complete

  • L H.
  • Intuitionism and Proof Theory,
  • 1970
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…