TALK KEYWORD INDEX
This page contains an index consisting of author-provided keywords.
C | |
Categorical Logic | |
circular proofs | |
coinduction | |
Cyclic proofs | |
D | |
denotational semantics | |
E | |
explicit induction reasoning | |
F | |
finitization | |
first-order logic with inductive predicates | |
fixed points | |
fixpoint alternation | |
G | |
Game semantics | |
Guarded Recursion | |
H | |
Horn clause | |
Hyper sequents | |
I | |
induction | |
induction reasoning | |
inductive theorem prover | |
Infinitary Proofs | |
infinite descent | |
L | |
lambda calculus | |
Leveled sequents | |
linear logic | |
Logical complexity | |
M | |
modal fixpoint logic | |
MSO on Infinite Words | |
muMALL | |
N | |
Non-wellfounded proofs | |
P | |
Peano arithmetic | |
proof complexity | |
proof schema | |
Proof theory | |
proof-search | |
R | |
Realizability | |
Reduction Semantics | |
Reverse mathematics | |
S | |
sequent calculus | |
T | |
Transitive Closure | |
Type theory | |
U | |
uniform proof |