Displaying and Deciding Substructural Logics 1: Logics with Contraposition.
Greg RestallPublished in: J. Philos. Log. (1998)
Keyphrases
- propositional calculus
- expressive power
- modal logic
- proof theory
- classical logic
- inference rules
- video sequences
- artificial neural networks
- coalition logic
- neural network
- propositional dynamic logic
- logic programming
- knowledge representation
- relational databases
- information technology
- decision trees
- information systems
- computer vision
- artificial intelligence
- learning algorithm
- genetic algorithm