Labelled Natural Deduction for Substructural Logics.
Krysia BrodaMarcelo FingerAlessandra RussoPublished in: Log. J. IGPL (1999)
Keyphrases
- natural deduction
- propositional calculus
- inference rules
- intuitionistic logic
- theorem prover
- modal logic
- sequent calculus
- theorem proving
- cut elimination
- first order logic
- expressive power
- classical logic
- linear logic
- probability distribution
- proof search
- logical framework
- linear time temporal logic
- decision procedures