Nonstandard connectives of intuitionistic propositional logic.
Michael KaminskiPublished in: Notre Dame J. Formal Log. (1988)
Keyphrases
- propositional logic
- valued logic
- classical logic
- linear logic
- first order logic
- sequent calculus
- theorem prover
- inference rules
- belief revision
- fuzzy set theory
- natural deduction
- possibilistic logic
- logical framework
- proof procedure
- fuzzy numbers
- lattice theory
- quantified boolean formulae
- knowledge representation
- logic programming
- belief change
- modal logic
- fixed point
- truth values
- default logic
- desirable properties
- fuzzy sets
- satisfiability testing
- machine learning