Distributive-Lattice Semantics of Sequent Calculi with Structural Rules.
Alexej P. PynkoPublished in: Logica Universalis (2009)
Keyphrases
- sequent calculi
- conditional logic
- cut elimination
- transformation rules
- active rules
- logic programming
- sequent calculus
- default reasoning
- association rules
- owl ontologies
- artificial intelligence
- linear logic
- algebraic structure
- proof theory
- rule language
- logical framework
- general theory
- boolean algebra
- sufficient conditions