Login / Signup

Dual-Context Sequent Calculus and Strict Implication.

Kentaro Kikuchi
Published in: Math. Log. Q. (2002)
Keyphrases
  • sequent calculus
  • inference rules
  • linear logic
  • artificial intelligence
  • probability distribution
  • modal logic