Classical Lambek Logic.

Jörg Hudelmaier Peter Schroeder-Heister

Published in: TABLEAUX (1995)

Keyphrases

quantum computation
probability theory
asynchronous circuits
epistemic logic
automated reasoning
finite model theory
delay insensitive
abductive reasoning
truth values
predicate logic
database
inference rules
logic programming
artificial neural networks
multi agent
artificial intelligence
neural network