Abstract | ||
---|---|---|
A logic calculus is presented that is a conservative extension of linear logic. The motivation beneath this work concerns lazy evaluation, true concurrency and interferences in proof search. The calculus includes two new connectives to deal with multisequent structures and has the cut-elimination property. Extensions are proposed that give first results concerning our objectives. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-540-75292-9_15 | ICTAC |
Keywords | Field | DocType |
true concurrency,logic calculus,proof search,new connective,multisequent structure,conservative extension,linear logic,cut-elimination property,modelling interference,logical calculus,work concerns lazy evaluation,lazy evaluation | Discrete mathematics,Situation calculus,Natural deduction,Geometry of interaction,Computer science,Structural proof theory,Proof calculus,Zeroth-order logic,Noncommutative logic,Linear logic,Calculus | Conference |
Volume | ISSN | ISBN |
4711 | 0302-9743 | 3-540-75290-0 |
Citations | PageRank | References |
0 | 0.34 | 11 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Christophe Fouqueré | 1 | 28 | 10.68 |