Varieties of Monadic Heyting Algebras Part II: Duality Theory.

Guram Bezhanishvili

Published in: Stud Logica (1999)

Keyphrases

set theory
linear programming
theoretical framework
deductive databases
information theory
theoretical basis
general theory
boolean algebra
neural network
learning algorithm
mathematical morphology