Phase Semantics and Sequent Calculus for Pure Noncommutative Classical Linear Propositional Logic.
V. Michele AbrusciPublished in: J. Symb. Log. (1991)
Keyphrases
- propositional logic
- valued logic
- sequent calculus
- nonmonotonic logics
- possibilistic logic
- first order logic
- inference rules
- horn logic
- minimal models
- belief revision
- quantified boolean formulae
- linear logic
- classical logic
- cut elimination
- modal logic
- truth maintenance systems
- logic programming
- proof procedure
- artificial intelligence
- natural deduction
- propositional satisfiability
- logical framework
- belief change
- propositional formulas
- default reasoning
- theorem proving
- theorem prover
- probabilistic model
- machine learning
- horn contraction