• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic.

Alexander V. GheorghiuTao GuDavid J. Pym
Published in: TABLEAUX (2023)
Keyphrases
  • linear logic
  • proof theoretic
  • logic programming
  • cut elimination
  • logical framework
  • intuitionistic logic
  • fixed point
  • sequent calculus
  • desirable properties
  • proof search
  • general purpose
  • logic programs
  • inference rules