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 |