Introduction to a Hypergraph Logic Unifying Different Variants of the Lambek Calculus.
Tikhon PshenitsynPublished in: CoRR (2021)
Keyphrases
- computer algebra
- natural deduction
- proof procedure
- formal language
- higher order
- algebraic structure
- cut elimination
- modal logic
- automated theorem proving
- proof search
- sequent calculus
- logic programming
- sound and complete axiomatization
- relation algebra
- proof theoretic
- transition systems
- computational properties
- classical logic
- linear logic
- predicate calculus
- pairwise
- proof theory
- multi valued
- theorem proving
- hypergraph model
- lambda calculus
- high order
- np hard
- database
- inference rules
- formal logic
- provably correct
- asynchronous circuits