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