The intuitionistic fragment of computability logic at the propositional level
Giorgi JaparidzePublished in: CoRR (2006)
Keyphrases
- classical logic
- linear logic
- sound and complete axiomatization
- interval valued
- multi valued
- logical framework
- natural deduction
- probabilistic logic
- logic programming
- higher level
- levels of abstraction
- modal logic
- autoepistemic logic
- deductive reasoning
- cut elimination
- horn clauses
- logic programs
- default logic
- asynchronous circuits
- real valued
- truth maintenance systems