Main Page
From LLWiki
(Difference between revisions)
(Preliminary table of contents) |
m (added system L) |
||
| (16 intermediate revisions by 5 users not shown) | |||
| Line 2: | Line 2: | ||
* An [[introduction]] to linear logic |
* An [[introduction]] to linear logic |
||
| − | * [[Sequent calculus]] |
+ | * Syntax |
| − | * [[Fragments]] |
+ | ** [[Sequent calculus]] |
| − | * [[Intuitionistic linear logic]] |
+ | ** [[Intuitionistic linear logic]] |
| − | * Proof-nets |
+ | ** [[Polarized linear logic]] |
| − | * Semantics |
+ | ** [[Fragment|Fragments]] |
| + | ** [[Proof-nets]] |
||
| + | ** [[System L]] |
||
| + | ** Translations of [[Translations of classical logic|classical]] and [[Translations of intuitionistic logic|intuitionistic]] logics |
||
| + | * [[Semantics]] |
||
| + | ** [[Coherent semantics]] |
||
| + | ** [[Phase semantics]] |
||
** [[Categorical semantics]] |
** [[Categorical semantics]] |
||
| − | ** [[Phase semantics]] |
||
** [[Relational semantics]] |
** [[Relational semantics]] |
||
| − | ** [[Coherent semantics]] |
+ | ** [[Finiteness semantics]] |
** [[Geometry of interaction]] |
** [[Geometry of interaction]] |
||
** [[Game semantics]] |
** [[Game semantics]] |
||
| − | * [[Translations]] of classical and intuitionistic logics |
||
* [[Light linear logics]] |
* [[Light linear logics]] |
||
| − | |||
== Getting started == |
== Getting started == |
||
| − | Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software. |
+ | * Please read the [[recommendations]] before edition in this wiki. |
| + | * If you are familiar with these [[recommendations]] (are you?) and only want a reference of available LaTeX macros, see [[LLWiki LaTeX Style]]. |
||
| + | * Consult the [http://meta.wikimedia.org/wiki/Help:Contents User's Guide] for information on using the wiki software. |
||
| + | * You can use the [[sandbox]] for tests. |
||
| + | * [[Special:Wantedpages|Wanted pages]]. |
||
| + | <!-- |
||
* [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] |
||
| + | --> |
||
Latest revision as of 03:49, 22 April 2012
[edit] Contents
- An introduction to linear logic
- Syntax
- Sequent calculus
- Intuitionistic linear logic
- Polarized linear logic
- Fragments
- Proof-nets
- System L
- Translations of classical and intuitionistic logics
- Semantics
- Light linear logics
[edit] Getting started
- Please read the recommendations before edition in this wiki.
- If you are familiar with these recommendations (are you?) and only want a reference of available LaTeX macros, see LLWiki LaTeX Style.
- Consult the User's Guide for information on using the wiki software.
- You can use the sandbox for tests.
- Wanted pages.
