The logics of orthoalgebras.

Maria Luisa Dalla Chiara Roberto Giuntini

Published in: Stud Logica (1995)

Keyphrases

expressive power
modal logic
inference rules
classical logic
databases
neural network
computer vision
propositional calculus
data sets
data structure
special case
query language
temporal logic
intuitionistic logic