Encoding many-valued logic in λ-calculus.
Fer-Jan de VriesPublished in: Log. Methods Comput. Sci. (2021)
Keyphrases
- modal logic
- truth values
- sequent calculus
- computer algebra
- natural deduction
- cut elimination
- inference rules
- formal language
- proof search
- transition systems
- classical logic
- logic programming
- computational properties
- nonmonotonic logics
- predicate logic
- algebraic structure
- automated theorem proving
- proof procedure
- relation algebra
- automated reasoning
- temporal logic
- proof theoretic
- situation calculus
- neural network
- theorem prover
- knowledge base
- lambda calculus
- data model
- knowledge discovery
- database query languages
- proof theory
- probability theory
- conceptual clustering
- logical framework
- asynchronous circuits
- aggregation functions