### Table 1: Hypersequent Calculus HIL for Intuitionistic Logic

2003

"... In PAGE 3: ... These are external weak- ening (ew) and external contraction (ec) (see Table 1). As an example, in Table1 one can nd a hypersequent calculus for intuitionistic logic IL which we call HIL. The \hyperlevel quot; of this calculus is in fact redundant, in the sense that a hypersequent 1 ) 1 j : : : j k ) k is derivable if and only if for some i 2 f1; : : : ; kg, already i ) i is derivable.... ..."

Cited by 7

### Table 2. propositional intuitionistic linear logic ITLL

1999

Cited by 6

### Table 2. propositional intuitionistic linear logic ITLL

1999

Cited by 6

### Table 2. propositional intuitionistic linear logic ITLL

1999

Cited by 6

### Table 1 Intuitionistic temporal linear logic

2000

Cited by 4

### Table 1 Intuitionistic temporal linear logic

2000

Cited by 4

### Table 1 Intuitionistic temporal linear logic

2000

### Table 1: Sequent Calculus formalisation of Intuitionistic Linear Logic

"... In PAGE 7: ... a b x x a b x x 2.2 Linear Logic Table1 shows the basic axiom and rules for in- tuitionistic linear logic in Gentzen style. Due to limited space, we cannot go into the detail of the system.... ..."

### Table I. Type assignments based on intuitionistic propositional logic

2006

Cited by 2

### Table 1: Type assignments in a system based on intuitionistic propositional logic

2006

Cited by 2