Many-dimensional arrow logics.

Dimiter Vakarelov

Published in: J. Appl. Non Class. Logics (1996)

Keyphrases

expressive power
inference rules
multi dimensional
modal logic
proof theory
computational properties
databases
first order logic
learning algorithm
real time
image processing
artificial intelligence
classical logic
genetic algorithm
nonmonotonic logics
truth values
dimensional euclidean space