Symmetrical Heyting Algebras with Operators.

Published in: Math. Log. Q. (1983)

Keyphrases

totally ordered
databases
website
topological spaces
database
neural network
information retrieval
evolutionary algorithm
computational intelligence
logic programs