### Table 2: Extra Symbols used in deductive system

1998

"... In PAGE 8: ... Extra Symbols This deductive system uses a number of symbols not found else- where in the Standard. They are listed in Table2 , and explained in the following pages. The extra symbols divide into two groups.... ..."

Cited by 7

### Table 1: Natural Deduction System for BI: NBI

2003

"... In PAGE 5: ...deduction system, as in Table1 , in which we use A0A3 , pronounced magic wand , for multiplicative impli- cation and A3, pronounced star , for multiplicative conjunction, AX and CM for their additive counterparts, and CN for disjunction. The units of A3, CM and CN are denoted C1, BQ and BR (inconsistency), respectively.... ..."

Cited by 17

### Table 1: Parsing algorithms as Grammatical Deduction Systems

2000

Cited by 3

### Table 1: Parsing algorithms as Grammatical Deduction Systems

### Table 4. A deductive system for Hoare logic

### Table 5. A deductive system for Hoare logic with partial functions

"... In PAGE 28: ...emma 5.14. For all S1; S2 2 L( ) 1 wlp(xi := t; ?) = [[t#]] ! wtp(xi := t; ?); 2 wlp(S1; S2; ?) = wlp(S1; wlp(S2; ?)); 3 wlp(if b then S1 else S2 ; ?) = [[b = t]] ! wlp(S1; ?) ^ [[b = f]] ! wlp(S2; ?) We now can give a deductive system for the Hoare logic with partial terms. It is listed in Table5 (c.... In PAGE 28: ...15. The deductive system in Table5 is sound. 6.... ..."

### Table 1. R-deductive system for the standard syntax

1996

"... In PAGE 5: ... In other words, we only consider fully applied algebraic terms. In order to provide a uniform framework to specify and compare the systems used in the literature, the rules for derivation, in Table1 , are parametrised by a binary relation R on pseudo-terms. For lack of space, only one deductive system ` is considered here.... ..."

Cited by 3

### Table 1. Deduction properties for different types of proof systems

"... In PAGE 11: ... Then the canonical pair of the Frege proof system is complete for the class of all disjoint NP-pairs. In Table1 we have summarized the different deduction properties and their implications for the existence of complete NP-pairs for Frege systems and their... ..."