Structural Multi-type Sequent Calculus for Inquisitive Logic.
Sabine FrittellaGiuseppe GrecoAlessandra PalmigianoFan YangPublished in: CoRR (2016)
Keyphrases
- sequent calculus
- multi type
- cut elimination
- inference rules
- linear logic
- natural deduction
- modal logic
- data objects
- relational data
- linear time temporal logic
- wide class
- classical logic
- proof search
- multiple types
- cost model
- sufficient conditions
- logical framework
- databases
- temporal logic
- logic programming
- theorem proving
- theorem prover