Cut-Elimination and a Permutation-Free Sequent Calculus for Intuit ionist ic Logic

Studia Logica

Journal Article

R.O.Y. Dyckhoff

Publication

Year of publication: 1998

Volume: 60

Issue: 1

Pages: 107-118

Identifiers

Other: 2-s2.0-54649084699

Locators

Alternative Titles