Login / Signup
Model Theory and Proof Theory of CPL.
Tadeusz Litak
Dirk Pattinson
Katsuhiko Sano
Lutz Schröder
Published in:
CoRR (2017)
Keyphrases
</>
theoretical framework
proof theory
probabilistic model
probability distribution
description logics
conceptual model