: An Intuitionistic Logic without Fregean Axiom and with Predicates for Truth and Falsity.
Steffen LewitzkaPublished in: Notre Dame J. Formal Log. (2009)
Keyphrases
- intuitionistic logic
- truth values
- inference rules
- natural deduction
- horn clauses
- linear logic
- modal logic
- classical logic
- theorem proving
- first order logic
- fixpoint
- logical framework
- proof theoretic
- cut elimination
- theorem prover
- sequent calculus
- temporal logic
- user defined
- normal form
- multi valued
- logic programs
- relational databases
- proof search
- conditional probabilities