Sign in
The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination.
Silvio Ghilardi
Grigori Mints
Published in:
Log. J. IGPL (2014)
Keyphrases
</>
video frames
cut elimination
linear logic
artificial intelligence
probability distribution
sufficient conditions
natural deduction
proof theoretic