Displaying and Deciding Substructural Logics 1: Logics with Contraposition.

Published 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