Finitely generated free tetravalent modal algebras.

Isabel Loureiro

Published in: Discret. Math. (1983)

Keyphrases

modal logic
finite number
neural network
learning algorithm
artificial intelligence
case study
preprocessing
hidden markov models
temporal reasoning
randomly selected
generation process
distributive lattices