Intuitionistic Sequent-Style Calculus with Explicit Structural Rules.
Silvia GhilezanJelena IveticPierre LescanneDragisa ZunicPublished in: TbiLLC (2009)
Keyphrases
- cut elimination
- sequent calculus
- linear logic
- natural deduction
- inference rules
- wide class
- sequent calculi
- theorem prover
- sufficient conditions
- modal logic
- desirable properties
- theorem proving
- proof search
- fixed point
- rule sets
- temporal logic
- structural analysis
- logical framework
- decision rules
- association rule mining
- logic programming
- domain knowledge
- learning algorithm