Positive Formulas in Intuitionistic and Minimal Logic.
Dick de JonghZhiguang ZhaoPublished in: TbiLLC (2013)
Keyphrases
- classical logic
- linear logic
- natural deduction
- cut elimination
- linear time temporal logic
- logical framework
- predicate calculus
- modal logic
- positive and negative
- unsatisfiable cores
- theorem prover
- logic programming
- fuzzy set theory
- modal operators
- sequent calculus
- wide class
- fuzzy numbers
- tree decompositions
- logical formulas
- predicate logic
- theorem proving
- proof theory
- complete axiomatization
- interval valued
- horn clauses
- automated reasoning
- inference rules
- fixed point