Back to Results
First PageMeta Content
Deduction / Logical consequence / Propositional calculus / Automated theorem proving / Sequent calculus / Amenable group / Monotonicity of entailment / Entailment / Linear logic / Logic / Mathematical logic / Proof theory


LNCS[removed]A Linear Logic of Authorization and Knowledge
Add to Reading List

Document Date: 2012-06-20 08:58:08


Open Document

File Size: 467,08 KB

Share Result on Facebook
UPDATE