CL&C FULL PAPERS AND ABSTRACTS: KEYWORD INDEX

A | |

admissible rules | |

B | |

bi-intuitionistic logic | |

C | |

classical logic | |

Classical sequent calculus | |

Consistency proofs | |

Continuous computation | |

Curry-Howard | |

Cut-elimination | |

cyclic induction | |

Cyclic proofs | |

D | |

dualized proof system | |

E | |

expansion proofs | |

F | |

first-order logic with inductive definitions | |

H | |

Herbrand's theorem | |

Higher order recursion schemes | |

I | |

induction reasoning | |

Infinite computation | |

Intuitionistic logic | |

Intuitionistic logic of constant domains | |

M | |

mechanical reasoning | |

N | |

Natural deduction | |

non-wellfounded proofs | |

P | |

Peano arithmetic | |

proof terms | |

Proof theory | |

propositional logic | |

R | |

Reductive cut elimination | |

S | |

sequent calculus |