Non-commutative classical arithmetical sequent calculi are intuitionistic.

Revantha Ramanayake

Published in: Log. J. IGPL (2016)

Keyphrases

sequent calculi
cut elimination
linear logic
sequent calculus
wide class
sufficient conditions
modal logic
fuzzy set theory
fuzzy numbers
classical logic
conditional logic
natural deduction