Adding an Implication to Logics of Perfect Paradefinite Algebras.

Vitor Greati Sérgio Marcelino João Marcos Umberto Rivieccio

Published in: CoRR (2023)

Keyphrases

expressive power
modal logic
spatial reasoning
nonmonotonic logics
topological spaces
machine learning
inference rules
relation algebra
clifford algebra
information systems
relational databases
temporal reasoning