Type-theoretic logic with an operational account of intensionality.

Chris Fox Shalom Lappin

Published in: Synth. (2015)

Keyphrases

genetic algorithm
artificial intelligence
decision making
modal logic
predicate logic
asynchronous circuits
machine learning
information retrieval
artificial neural networks
data model
automated reasoning
classical logic
abductive reasoning