A Hypersequent Calculus with Clusters for Tense Logic over Ordinals.
David BaeldeAnthony LickSylvain SchmitzPublished in: FSTTCS (2018)
Keyphrases
- natural deduction
- clustering algorithm
- computer algebra
- cut elimination
- sequent calculus
- formal language
- algebraic structure
- computational properties
- transition systems
- graph clustering
- inference rules
- automated theorem proving
- proof procedure
- fuzzy clustering
- modal logic
- relation algebra
- lambda calculus
- linear time temporal logic
- predicate logic
- classical logic
- hierarchical clustering
- logic programming
- data points
- multi valued
- automated reasoning
- theorem proving
- propositional logic
- proof theoretic
- self organizing maps