Linear Läuchli Semantics

@article{Blute1996LinearLS,
  title={Linear L{\"a}uchli Semantics},
  author={Richard Blute and Philip J. Scott},
  journal={Ann. Pure Appl. Logic},
  year={1996},
  volume={77},
  pages={101-142}
}
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

References

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

Y

  • 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…