Sequent Systems for Nondeterministic Propositional Logics without Reflexivity.

Louwe B. Kuijer

Published in: LORI (2013)

Keyphrases

modal logic
inference rules
default logic
data sets
knowledge based systems
complex systems
machine learning
distributed systems
building blocks
retrieval systems
sequent calculi