Towards a Sequent Calculus for Formal Contexts.
Ondrej KridloManuel Ojeda-AciegoPublished in: FCA4AI@ECAI (2016)
Keyphrases
- formal contexts
- sequent calculus
- inference rules
- cut elimination
- formal concepts
- concept lattice
- linear logic
- modal logic
- formal concept analysis
- attribute reduction
- natural deduction
- linear time temporal logic
- first order logic
- rough sets
- conceptual clustering
- attribute values
- temporal logic
- rough set theory
- theorem proving
- pattern recognition
- logical framework
- classical logic
- feature set
- training set