Logical Connectives for Intuitionistic Propositional Logic.
Dean P. McCulloughPublished in: J. Symb. Log. (1971)
Keyphrases
- propositional logic
- first order logic
- logical framework
- belief revision
- valued logic
- inference rules
- linear logic
- theorem prover
- classical logic
- logical theories
- truth values
- predicate calculus
- possibilistic logic
- lattice theory
- sequent calculus
- quantified boolean formulae
- proof procedure
- belief change
- davis putnam
- natural deduction
- fuzzy numbers
- satisfiability testing
- fuzzy set theory
- deductive databases