Cyclic Involutive Distributive Full Lambek Calculus is Decidable.

Published in: J. Log. Comput. (2011)

Keyphrases

linear time temporal logic
first order logic
general theory
lower order
search algorithm
situation calculus
datalog programs
automated deduction
sequent calculus
computer algebra
distributive lattices
database
computation tree logic
provably correct
algebraic structure
objective function
knowledge base