Congruence based proofs of the recognizability theorems for free many-sorted algebras.

Juan Climent Vidal Enric Cosme-Llópez

Published in: CoRR (2018)

Keyphrases

cut elimination
sequent calculus
proof search
theorem proving
evolutionary algorithm
socio technical
natural deduction
spatial reasoning
clifford algebra
equational theories
formal proofs
neural network
theorem prover
inference rules
temporal reasoning
multiresolution
artificial intelligence