Login / Signup
Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information
Mehrnoosh Sadrzadeh
Roy Dyckhoff
Published in:
CoRR (2009)
Keyphrases
</>
proof theory
default reasoning
proof theoretic
logic programming
operational semantics