The intuitionistic fragment of computability logic at the propositional level.
Giorgi JaparidzePublished in: Ann. Pure Appl. Log. (2007)
Keyphrases
- classical logic
- linear logic
- sound and complete axiomatization
- multi valued
- interval valued
- modal logic
- propositional logic
- logic programming
- natural deduction
- logical framework
- probabilistic logic
- horn clauses
- fuzzy set theory
- predicate calculus
- levels of abstraction
- proof procedure
- lower level
- truth maintenance systems
- higher level