Login / Signup

Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic.

Roy DyckhoffSara Negri
Published in: J. Symb. Log. (2000)
Keyphrases
  • intuitionistic logic
  • general purpose
  • database systems
  • rough sets
  • logic programs