Some preservation theorems in an intermediate logic.
Seyed Mohammad BagheriPublished in: Math. Log. Q. (2006)
Keyphrases
- sequent calculus
- logic programming
- modal logic
- cut elimination
- linear logic
- classical logic
- defeasible logic
- proof search
- deontic logic
- set theory
- bayesian networks
- neural network
- computational properties
- digital circuits
- predicate logic
- inference rules
- proof theory
- case study
- genetic algorithm
- deductive reasoning
- real world