Commutative Locative Quantifiers for Multiplicative Linear Logic.

Stefano Guerrini Patrizia Marzuoli

Published in: ICALP (2) (2006)

Keyphrases

linear logic
fixed point
cut elimination
proof theoretic
logic programming
logical framework
inference rules
first order logic
desirable properties
intuitionistic logic
sequent calculus
proof search
expert systems
natural language
decision theory
multi view
programming language