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 |