Logical Connectives on Lattice Effect Algebras.

David J. Foulis Sylvia Pulmannová

Published in: Stud Logica (2012)

Keyphrases

boolean algebra
truth values
information retrieval
artificial intelligence
inference rules
spatial reasoning
website
multi agent
database
multiscale
knowledge representation
probabilistic logic
classical logic
logical reasoning