Skip to main navigation
Skip to search
Skip to main content
Sort by
Computer Science
Transitive Closure
100%
Proof System
90%
Proof
86%
Approximation (Algorithm)
64%
Inductive Reasoning
42%
Inductive Definition
39%
Programming Language
38%
high-order logic
35%
Computer Science
34%
Constructive Type
29%
Subclasses
29%
Automated Reasoning
25%
Real Number
23%
Uncertainty Estimation
23%
Theorem Prover
23%
Syntactics
18%
Time Complexity
17%
Provable Formula
17%
Induction Scheme
14%
Continuation
13%
Formalization
12%
Computability
11%
Model of Computation
11%
Nondeterministic Computation
11%
Computational System
11%
Theoretical Study
11%
Powerset
11%
Predicate Logic
11%
Syntactic Approach
11%
Mathematical Reasoning
11%
Intuitionistic Logic
11%
Logic Programming
11%
Incomplete Algorithm
11%
Second-Order Logic
11%
Efficient Algorithm
11%
Verification Key
11%
Decision Procedure
11%
Soundness
7%
Formal Framework
5%
Tree Graph
5%
Consistency Proof
5%
Recursive Program
5%
Reasoning about Programs
5%
Data Type
5%
Metatheory
5%
Data Structure
5%
Rule Induction
5%
Ordinal Number
5%
Automaton
5%
Order Structure
5%
Keyphrases
Ancestral Logic
58%
Intuitionistic
51%
Proof Systems
37%
Continuity Principle
31%
First-order Logic
30%
Transitive Closure
29%
Reference Cell
27%
Closure Operator
23%
Stateful Computations
23%
Inductive Reasoning
23%
Constructivism
23%
Extensional Type Theory
23%
Computational Theory
23%
Transitive Closure Logic
23%
Set Theory
21%
Constructive Type Theory
20%
Type Theory
20%
Realizer
19%
Automated Reasoning
19%
Baire Space
19%
Infinitary Proof Systems
18%
Extensions of First-order Logic
18%
Programming Languages
18%
Inductive Definitions
18%
Evidenced Frames
18%
Modulus of Continuity
15%
Choice Sequences
14%
Higher-order Logic
14%
Intuitionistic Logic
14%
Combinatory Algebras
14%
Real numbers
13%
Nuprl
13%
Partial Combinatory Algebra
13%
Infinite Descent
11%
Deduction
11%
Theorem Prover
11%
Geometric Method
11%
Uncertainty Estimation
11%
Countable Choice
11%
Computational Universe
11%
Herbrand Logic
11%
Bar Induction
11%
All Elements
11%
Markov's Principle
11%
Excluded Middle
11%
Sheaf Models
11%
Brouwer Trees
11%
Classical Reasoning
11%
First-order
11%
Non-compactness
11%
Mathematics
Type Theory
67%
Transitive Closure
35%
Applicability of Mathematics
35%
Expressiveness
23%
Constructive Mathematics
19%
Mathematics
17%
Closure Operator
16%
Wide Range
15%
Intuitionistic Logic
14%
Entailment
11%
Programming Language
11%
Mathematical Truth
11%
Infinite Descent
11%
Logic Programming
11%
Provable Formula
11%
Baire Space
11%
Calculus
11%
Excluded Middle
11%
Definability
11%
Classical Logic
8%
Natural Number
7%
Model of Computation
7%
Transitive Model
5%
Infinite Set
5%
Mathematical Discourse
5%
Real Number
5%
Abstract Set
5%
Key Property
5%
Mathematical Practice
5%
Foundation of Mathematics
5%
