Login / Signup

Intuitionistic Provability versus Uniform Provability in \mathsfRCA RCA.

Makoto Fujiwara
Published in: CiE (2015)
Keyphrases
  • fuzzy set theory
  • classical logic
  • linear logic