Proof schemata in propositional calculi
Reinhold LetzKlaus MayrPublished in: Forschungsberichte, TU Munich (1990)
Keyphrases
- sequent calculi
- propositional logic
- classical first order logic
- first order logic
- cut elimination
- theorem proving
- theorem prover
- strips planning
- proof procedure
- linear logic
- neural network
- conditional logic
- knowledge compilation
- probabilistic logic
- multi valued
- modal logic
- functional dependencies
- logic programming
- fuzzy logic
- database