Gentzenization of Trilattice Logics.

Published in: Stud Logica (2016)

Keyphrases

expressive power
modal logic
inference rules
classical logic
data mining
genetic algorithm
nonmonotonic logics
knowledge representation formalisms
database
multiscale
data structure
relational databases
special case
propositional dynamic logic