On the implicative-infimum subreducts of weak Heyting algebras.

Sergio A. Celani Hernán Javier San Martín

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

Keyphrases

set theory
spatial reasoning
data sets
neural network
information systems
topological spaces
weak signal
database
real world
knowledge base
high level
evolutionary algorithm
knowledge discovery
temporal reasoning
boolean algebra