50 search results - page 6 / 10 » cie 2006 |
129
click to vote
CIE
2006
Springer
15 years 8 months ago
2006
Springer
LJQ is a focused sequent calculus for intuitionistic logic, with
111
Voted
CIE
2006
Springer
15 years 8 months ago
2006
Springer
G
CIE
2006
Springer
15 years 4 months ago
2006
Springer
108
click to vote
CIE
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We see a notion of normal derivation for the calculus of structures, which is based on a factorisation of derivations and which is more general than the traditional notio...
105
click to vote
CIE
2006
Springer
15 years 8 months ago
2006
Springer
We introduce two hierarchies of unknown ordinal height. The hierarchies are induced by natural fragments of a calculus based on finite types and G