TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

A | |

admissible rules | |

Affine logic | |

analyticity | |

B | |

Buchholz rule | |

C | |

circular proofs | |

Classical Modal Logics | |

cut elimination | |

D | |

density elimination | |

Description logic | |

display calculi | |

Double negation translation | |

dynamic logics | |

H | |

Hilbert systems | |

hypersequents | |

I | |

Identification of proofs | |

implication fragments of substructural logics | |

intuitionistic hybrid logic | |

intuitionistic modal logic | |

L | |

limitative results | |

Lindon interpolation | |

linear time complexity | |

link formulas | |

logic of common knowledge | |

Lukasiewicz logic | |

M | |

modal logic | |

modal mu-calculus | |

mu-calculus | |

multi-type sequent calculi | |

N | |

Negative translation | |

Neighborhood Semantics | |

nested sequents | |

non-classical logics | |

non-deterministic semantics | |

P | |

paraconsistent logics | |

primal infon logic | |

proof nets | |

proof theory | |

Q | |

Quantifiers | |

S | |

sequent calculi | |

sequent calculus | |

standard completness | |

structural completeness | |

sub-classical logics | |

Syntactic cut-elimination | |

T | |

translations | |

U | |

Unification |