Intermediate Logics Admitting a Structural Hypersequent Calculus
Crossref DOI link: https://doi.org/10.1007/s11225-018-9791-y
Published Online: 2018-03-29
Published Print: 2019-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Lauridsen, Frederik M.
Funding for this research was provided by:
University of Amsterdam
Text and Data Mining valid from 2018-03-29
Article History
Received: 9 March 2017
First Online: 29 March 2018