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