Keyphrases
Ancestral Logic
58%
Automated Reasoning
19%
Baire Space
19%
Bar Induction
11%
Brouwer Trees
11%
Choice Sequences
38%
Closure Operator
53%
Coinduction
23%
Computability
23%
Computational Theory
23%
Computer Science
11%
Constructive Type Theory
20%
Constructivism
11%
Continuity Principle
31%
Countable Choice
11%
Cyclic Proof Systems
17%
Cyclic Proofs
16%
Deduction
23%
Effective Systems
14%
Extensional Type Theory
23%
Finitary
20%
First-order Logic
60%
Formal System
12%
Free Choice
13%
Geometric Method
23%
Herbrand Logic
11%
Inductive Definitions
41%
Inductive Reasoning
50%
Infinitary Proof Systems
34%
Infinite Descent
27%
Intuitionistic
51%
Intuitionistic Logic
14%
Logical Frameworks
13%
Modulus of Continuity
15%
Non-well-founded Proofs
20%
Nuprl
23%
Programming Languages
14%
Proof Assistants
15%
Proof System
45%
Proof Theory
20%
Real numbers
13%
Realizer
26%
Reference Cell
27%
Set Theory
21%
Sheaf Models
11%
Stateful Computations
21%
Transitive Closure
49%
Transitive Closure Logic
39%
Type Theory
20%
Uncertainty Estimation
23%
Computer Science
Approximation (Algorithm)
64%
Automated Reasoning
25%
Automaton
5%
Computability
23%
Computational System
11%
Computer Science
34%
Consistency Proof
5%
Constructive Type
47%
Data Structure
5%
Data Type
5%
Dynamic Nature
5%
Effective Method
5%
Extension Method
5%
Formal Framework
11%
Formal Verification
5%
Formalization
18%
high-order logic
11%
Human Experience
5%
Induction Scheme
14%
Inductive Definition
39%
Inductive Reasoning
42%
Intuitionistic Logic
11%
Logic Programming
11%
Logical Framework
8%
Mathematical Reasoning
11%
Metatheory
11%
Nondeterministic Computation
11%
Ordinal Number
5%
Powerset
11%
Predicate Logic
11%
Programming Language
23%
Proof System
96%
Provable Formula
17%
Real Number
29%
Reasoning about Programs
5%
Recursive Program
5%
Second-Order Logic
11%
Set Theory
5%
Soundness
5%
Subclasses
17%
Syntactics
6%
Theorem Prover
11%
Theoretical Study
11%
Theory of Computation
11%
Time Complexity
5%
Transitive Closure
100%
Tree Graph
5%
Turing Computability
5%
Unary Predicate
5%
Uncertainty Estimation
23%
