Login / Signup

Proof-theoretic conservations of weak weak intuitionistic constructive set theories.

Lew Gordeev
Published in: Ann. Pure Appl. Log. (2013)
Keyphrases
  • linear logic
  • proof theoretic
  • data model
  • knowledge base