Keyphrases
Atomic Flows
27%
Axiomatization
15%
Boolean Logic
37%
Branching Programs
50%
Circular Proofs
37%
Complete Axiomatization
16%
Completeness Results
16%
Cut Elimination
25%
Cut-free
58%
Cyclic Proofs
89%
Cyclic System
31%
Deep Inference
67%
Frege Systems
17%
Function Algebra
18%
Graph Logic
15%
Hypersequents
31%
Implicit Computational Complexity
25%
Inference System
20%
Infinite Trees
31%
Intuitionistic
37%
Kleene Algebra
56%
Linear Inference
65%
Linear Logic
45%
Log-space
16%
Logic-based
18%
Modal Logic
38%
Monadic Second-order Logic
18%
Monotone
30%
Nested Sequents
16%
Non-deterministic
40%
Non-well-founded Proofs
50%
Nondeterministic Computation
15%
Nondeterministic Decision Tree
30%
Polynomial Hierarchy
31%
Polynomial Time
42%
Proof Complexity
97%
Proof Search
58%
Proof System
41%
Proof Theory
32%
Propositional Dynamic Logic
25%
Propositional Logic
35%
Quantified Boolean Formulas
20%
Recursion
28%
Rewriting System
22%
Second-order Arithmetic
25%
Sequent Calculus
20%
Sequent System
16%
Systems-based
20%
Time Function
15%
Transitive Closure Logic
18%
Computer Science
Automated Reasoning
18%
Automaton
6%
Axiomatization
21%
Boolean Algebra
25%
Boolean Formula
25%
Boolean Function
18%
Boolean Logic
37%
Case Study
8%
Computable Function
31%
Computational Complexity
37%
Computational Modeling
12%
Decision Problem
12%
Decision Tree
33%
Direct Consequence
12%
Equational Theory
12%
Extended System
12%
Fixed Points
12%
Frame Condition
12%
Graph Theory
10%
Graphical Representation
25%
Inductive Definition
12%
Inductive Reasoning
18%
Inference Rule
10%
Inference System
25%
Invariant
12%
Level Condition
12%
Linear Equation
12%
Merge-Sort
12%
Nondeterministic Computation
12%
Polynomial Hierarchy
37%
Polynomial Time
61%
Positive Version
8%
Primitive Recursive
12%
Proof Complexity
100%
Proof System
84%
Rewrite Rule
29%
Search Space
6%
Second-Order Logic
18%
Sequent Calculus
31%
Soundness
50%
Speed-up
12%
Strong Normalization
12%
Term Rewriting Systems
12%
Theoretic Model
12%
Theoretical Framework
10%
Time Complexity
12%
Transitive Closure
25%
Type Systems
31%
Valid Inequality
25%
Winning Strategy
6%
Mathematics
Algebraic Function
43%
Arithmetic
31%
Axiom of Choice
12%
Axiomatic Theory
12%
Boolean Algebras
6%
Boolean Function
8%
Bounded arithmetic
12%
Calculus
18%
Classical Modal Logic
12%
Combinator
6%
Computable Function
31%
Decidability
12%
Direct Consequence
6%
Dynamic Logic
25%
Entailment
12%
Expressive Power
6%
Finite Set
6%
Fixed Points
31%
Formalization
6%
Foundedness
12%
Functionals
18%
Graphical Representation
6%
Greatest Fixed Point
18%
Labeled Trees
6%
Lattices
12%
Linear Inference
66%
Linear Logic
43%
Linear Order
12%
Linear Term
12%
Loop Structure
25%
Main Result
50%
Model Form
6%
Nonuniform
12%
Normal Function
25%
Open Problem
12%
Order Theory
15%
Peano Axiom
12%
Polynomial
16%
Polynomial Time
59%
Polynomial Time Function
15%
Primitive Recursive
12%
Provability
12%
Reverse Mathematics
16%
Rewriting Systems
31%
Search Space
12%
Second Order Arithmetic
39%
Transfinite Induction
12%
Transitive Closure
18%
Type Systems
31%
Winning Strategy
12%
