Interpolants, Cut Elimination and Flow Graphs for the Propositional Calculus.
Alessandra CarbonePublished in: Ann. Pure Appl. Log. (1997)
Keyphrases
- propositional calculus
- nonmonotonic logics
- flow graphs
- sequent calculus
- modal logic
- cut elimination
- inference rules
- flow graph
- linear logic
- temporal logic
- wide class
- natural deduction
- decision table
- sufficient conditions
- classical logic
- proof theoretic
- linear time temporal logic
- rough sets
- shortest path
- random walk
- expert systems
- proof search
- artificial intelligence
- machine learning