Leibniz

Leibniz: Harmony Leibniz: Harmony- Compilation, that describes the uses of logic and harmony. G. W. Leibniz - an Universal Philosopher G. W. Leibniz - an Universal Philosopher- Leibniz resource page with articles, papers, and links. The Pre-Kantian Modern Philosophy Witch Project: Gottfried Leibniz The Pre-Kantian Modern Philosophy Witch Project: Gottfried Leibniz- Some basic notes on the structure of the Leibnizian system, presented by students at Covenant College. Leibniz - An Universal Philosopher Leibniz - An Universal Philosopher- Resource page maintained by Markku Roinila. A New Deconstructive Logic: Linear Logic (1997) A New Deconstructive Logic: Linear Logic (1997)- Article by V. Danos, J.-B. Joinet and H. Schellinx outlining how linear logic can function as a `mark-up logic' allowing the embed… Bibliography on Linear Logic Bibliography on Linear Logic- A list of over 400 papers on linear logic. Many of the papers are downloadable. Linear Logic Papers by Andreas Blass Linear Logic Papers by Andreas Blass- Collection of downloadable papers on linear logic and game semantics by A. Blass. The Linear Logic Pages The Linear Logic Pages- An overview of the current knowledge in Linear Logic. Linear Logic Semantics Linear Logic Semantics- A long reply by Vaughan Pratt to a question on the linear logic mailing list by the late Jon Barwise. Phil Wadler's Linear Logic Publications Phil Wadler's Linear Logic Publications- Includes his tutorial paper "A taste of linear logic". Seminar on Linear Logic and Applications Seminar on Linear Logic and Applications- Organised by Frank Pfenning at Carnegie-Mellon. Game Semantics or Linear Logic? Game Semantics or Linear Logic?- A discussion of how linear logic relates to computability logic - the game-sematically introduced logic of computational resources and interactive…