Search:
Go
English
Deutsch
Français
Japanese
Chinese Simplified
Chinese Traditional
Korean
Russian
Arabic
Česky
Greek
Italiano
Afrikaans
Aragonés
Armenian
Asturianu
Azerbaijani
Bahasa Indonesia
Bahasa Melayu
Bangla
Bashkir
Belarusian
Bosanski
Brezhoneg
Bulgarian
Català
Cymraeg
Dansk
Eesti
Español
Esperanto
Euskara
Frysk
Furlan
Føroyskt
Gaeilge
Gàidhlig
Galego
Gujarati
Hebrew
Hindi
Hrvatski
Interlingua
Íslenska
Kannada
Kaszëbsczi
Kazakh
Kiswahili
Kurdî
Kyrgyz
Latviski
Lëtzebuergesch
Lietuvių
Lingua Latina
Magyar
Makedonski
Marathi
Nederlands
Nordfriisk
Norsk
O'zbekcha
Occitan
Ossetian
Persian
Polski
Português
Punjabi Gurmukhi
Română
Rumantsch
Sardu
Seeltersk
Shqip
Sicilianu
Sinhala
Slovensko
Slovensky
Srpski
Suomi
Svenska
Tagalog
Taiwanese
Tamil
Tatarça
Telugu
Thai
Tiếng Việt
Türkçe
Türkmençe
Ukrainian
Urdu
Uyghurche
DMOZ Internet Directory
Presented by
DMOZLive.com
Home
About
Submit Site
Tweet
Home
Science
Math
Logic and Foundations
Nonstandard Logics and Extensions
Substructural Logics
Linear Logic
32 Sites
Categories
People
24 Sites
Sites
[ Submit ]
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 computation.
Seminar on Linear Logic and Applications
- Organised by Frank Pfenning at Carnegie-Mellon.
Phil Wadler's Linear Logic Publications
- Includes his tutorial paper "A taste of linear logic".
Linear Logic Semantics
- A long reply by Vaughan Pratt to a question on the linear logic mailing list by the late Jon Barwise.
The Linear Logic Pages
- An overview of the current knowledge in Linear Logic.
Linear Logic Papers by Andreas Blass
- Collection of downloadable papers on linear logic and game semantics by A. Blass.
Bibliography on Linear Logic
- A list of over 400 papers on linear logic. Many of the papers are downloadable.
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 embedding of a large class of logics in a manner that respects their underlying proof semantics (cf. Nuel Belnap's Display Logic).
Click
[ Submit ]
above to Add a New Site, Update a Site, or Remove a Site from this Category.
This directory is made available through a Creative Commons Attribution license from the
DMOZ Organization.