Free Three-valued Lukasiewicz, Post and Moisil Algebras over a Poset.

Aldo V. Figallo Luiz Monteiro Alicia Ziliani

Published in: ISMVL (1990)

Keyphrases

partial order
totally ordered
partially ordered
inference rules
truth values
modal logic
temporal reasoning
database
neural network
multiscale
real time
information retrieval
video sequences
spatial reasoning
nonmonotonic logics
topological spaces