Intuitionistic proofs without syntax.
Willem B. HeijltjesDominic J. D. HughesLutz StraßburgerPublished in: LICS (2019)
Keyphrases
- theorem prover
- natural deduction
- cut elimination
- linear logic
- sequent calculus
- predicate calculus
- theorem proving
- proof search
- fuzzy set theory
- inference rules
- wide class
- interval valued
- natural language
- formal proof
- first order logic
- high level
- computer algebra
- equational theories
- mathematical proofs
- fuzzy sets
- databases
- fuzzy numbers
- sufficient conditions
- context free grammars
- operational semantics
- decision procedures
- real valued
- definition language
- fixed point
- rough sets
- knowledge representation
- website
- search engine
- database