- sentences: explorations between intuitionistic propositional logic and intuitionistic arithmetic.
Albert VisserPublished in: Ann. Pure Appl. Log. (2002)
Keyphrases
- propositional logic
- linear logic
- first order logic
- theorem prover
- fuzzy set theory
- belief revision
- fuzzy numbers
- classical logic
- quantified boolean formulae
- possibilistic logic
- proof procedure
- natural language
- lattice theory
- natural deduction
- theorem proving
- propositional satisfiability
- prime implicates
- artificial intelligence
- horn logic