5,852 followers
"Intermediate Logics Admitting a Structural Hypersequent Calculus" by Frederik M. Lauridsen. This open access article is now availablein the latest issue of Studia Logica! https://t.co/66fucTg8Fw
"Intermediate Logics Admitting a Structural Hypersequent Calculus" by Frederik M. Lauridsen. This open access article is now availablein the latest issue of Studia Logica! https://t.co/66fucTg8Fw