Lectures on Linear Logic by A. S. Troelstra

Lectures on Linear Logic

Lectures on Linear Logic by A. S. Troelstra
Publisher: CSLI 1992
ISBN/ASIN: 0937073776
ISBN-13: 9780937073773
Number of pages: 215
The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.
Mathematics Pure Mathematics Logic



More Free E-Books For Logic


Similar Books For Logic

1. Introduction to Logic and Critical Thinking by Matthew Van Cleave
2. A Concise Introduction to Logic by Craig DeLancey
3. Hack, Hack, Who's There? A Gentle Introduction to Model Theory by David Reid
4. Asymptotic Differential Algebra and Model Theory of Transseries by M. Aschenbrenner, L. van den Dries, J. van der Hoeven
5. Modal Logic of Strict Necessity and Possibility by Evgeni Latinov
6. What is Mathematics: Gödel's Theorem and Around by Karlis Podnieks
7. Introduction to Mathematical Logic by Vilnis Detlovs, Karlis Podnieks
8. Sets, Groups and Knots by Curtis T. McMullen
9. Descriptive Set Theory by David Marker
10. An Illustrated Book of Bad Arguments by Ali Almossawi, Alejandro Giraldo
11. Logic Gallery, Aristotle to the Present by David Marans
12. Handbook of Modal Logic by Patrick Blackburn, Johan van Benthem, Frank Wolter
13. Axiomatic Set Theory by Michael Meyling
14. Logic for Computer Science by
15. Natural Topology by Frank Waaldijk
16. Axiomatic Set Theory I by A. C. Walczak-Typke
17. Studies in Logical Theory by John Dewey
18. The Origin and Growth of Plato's Logic by Wincenty Lutosawski
19. Logic for Computer Scientists by Uli Furbach
20. Logic, Inductive and Deductive by William Minto
21. Coalgebras and Modal Logic by Alexander Kurz
22. Basic Concepts in Modal Logic by Edward N. Zalta
23. Introduction to Proof Theory by Gilles Dowek
24. Algebraic Tools for Modal Logic by Mai Gehrke, Yde Venema
25. Metalogic by Jan Wolenski
26. Logics of Time and Computation by Robert Goldblatt
27. The Art of Logical Thinking by William Walker Atkinson
28. Isabelle/HOL: A Proof Assistant for Higher-Order Logic by T. Nipkow, L.C. Paulson, M. Wenzel
29. Intuitionistic Logic by Nick Bezhanishvili, Dick de Jongh
30. Notes on Set Theory by Michael Makkai
31. Proof, Sets, and Logic by M. Randall Holmes
32. Elementary Set Theory with a Universal Set by Randall Holmes
33. A Manual of Intensional Logic by Johan van Benthem
34. Lectures on Linear Logic by A. S. Troelstra
35. A Second Course in Logic by Christopher Gauker
36. Notes on the Science of Logic by Nuel Belnap
37. The Art of Logic by Nuel Belnap
38. An Introduction to Mathematical Logic by Wolfram Pohlers, Thomas Glass
39. Set Theory by Gary Hardegree
40. Symbolic Logic: A Second Course by Gary Hardegree
41. Symbolic Logic: A First Course by Gary Hardegree
42. Abstract Set Theory by Thoralf A. Skolem
43. Introduction to Modal Logic by Gary Hardegree
44. Algebraic Logic by H. Andreka, I. Nemeti, I. Sain
45. The Principles Of Mathematics by Bertrand Russell
46. The Origin and Significance of Hegel's Logic by J. B. Baillie
47. A Concise Introduction to Mathematical Logic by Wolfgang Rautenberg
48. Model-Theoretic Logics by J. Barwise, S. Feferman
49. An Introduction to Good Old Fashioned Model Theory by Harold Simmons
50. Proof Theory and Philosophy by Greg Restall



Categories