Main Page
From LLWiki
(Difference between revisions)
(Preliminary table of contents) |
|||
| Line 18: | Line 18: | ||
== Getting started == |
== Getting started == |
||
| + | |||
| + | Please read the [[recommendations]] before edition in this wiki. |
||
Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software. |
Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software. |
||
| + | <!-- |
||
* [http://www.mediawiki.org/wiki/Manual:Configuration_settings Configuration settings list] |
* [http://www.mediawiki.org/wiki/Manual:Configuration_settings Configuration settings list] |
||
* [http://www.mediawiki.org/wiki/Manual:FAQ MediaWiki FAQ] |
* [http://www.mediawiki.org/wiki/Manual:FAQ MediaWiki FAQ] |
||
* [http://lists.wikimedia.org/mailman/listinfo/mediawiki-announce MediaWiki release mailing list] |
* [http://lists.wikimedia.org/mailman/listinfo/mediawiki-announce MediaWiki release mailing list] |
||
| + | --> |
||
Revision as of 18:26, 28 December 2008
Contents
- An introduction to linear logic
- Sequent calculus
- Fragments
- Intuitionistic linear logic
- Proof-nets
- Semantics
- Translations of classical and intuitionistic logics
- Light linear logics
Getting started
Please read the recommendations before edition in this wiki.
Consult the User's Guide for information on using the wiki software.
