A Preliminary Study of MV-Algebras with Two Quantifiers Which Commute.

Aldo Figallo Orellano

Published in: Stud Logica (2016)

Keyphrases

random walk
first order logic
motion vectors
spatial reasoning
reference frame
artificial intelligence
temporal reasoning
clifford algebra
real time
databases
decision making
multimedia
high level
multi agent
distributive lattices