Canonicity Results of Substructural and Lattice-based Logics.

Tomoyuki Suzuki

Published in: Rev. Symb. Log. (2011)

Keyphrases

propositional calculus
expressive power
modal logic
concept lattice
inference rules
artificial intelligence
data mining
feature selection
knowledge base
decision trees
image sequences
knowledge representation
classical logic
conditional logic
truth values
epistemic logic