Sign in
Cut Elimination for Systems of Transparent Truth with Restricted Initial Sequents.
Carlo Nicolai
Published in:
Notre Dame J. Formal Log. (2021)
Keyphrases
</>
linear logic
sequent calculus
cut elimination
inference rules
expert systems
modal logic
machine learning
natural deduction
desirable properties