Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi.

Norihiro Kamide

Published in: Stud Logica (2021)

Keyphrases

sequent calculi
expressive power
real time
classical logic
database
databases
neural network
clustering algorithm
inference rules
nonmonotonic logics
conditional logic