Intermediate Logics Admitting a Structural Hypersequent Calculus.

Frederik Möllerström Lauridsen

Published in: Stud Logica (2019)

Keyphrases

structural information
expressive power
structural analysis
classical logic
computational properties
data mining
machine learning
propositional logic
structural features
truth values
proof theory
proof theoretic