On superintuitionistic logics as fragments of proof logic extensions.
A. V. KuznetsovAlexei Yu. MuravitskyPublished in: Stud Logica (1986)
Keyphrases
- proof theory
- proof theoretic
- guarded fragment
- expressive power
- sequent calculi
- higher order logic
- default reasoning
- modal logic
- default logic
- first order logic
- classical first order logic
- classical logic
- knowledge representation formalisms
- linear logic
- intuitionistic logic
- inference rules
- automated reasoning
- theorem prover
- theorem proving
- propositional dynamic logic
- sequent calculus
- natural deduction
- conditional logic
- decision procedures
- cut elimination
- default theories
- nonmonotonic logics
- epistemic logic
- logic programming
- propositional calculus
- proof procedures
- computational properties
- proof search
- proof procedure
- reasoning problems
- computer algebra
- knowledge representation
- model theoretic
- multi valued
- nonmonotonic reasoning
- logical rules
- propositional variables
- presburger arithmetic
- temporal logic
- programming language