Login / Signup

Elementary Completeness Properties of Intuitionistic Logic With a Note on Negations of Prenex Formulae.

Georg Kreisel
Published in: J. Symb. Log. (1958)
Keyphrases
  • intuitionistic logic
  • normal form
  • classical logic
  • fuzzy sets
  • linear logic
  • desirable properties