Connecting Sequent Calculi with Lorenzen-Style Dialogue Games
Crossref DOI link: https://doi.org/10.1007/978-3-030-65824-3_8
Published Online: 2021-08-18
Published Print: 2021
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Fermüller, Christian G.
Text and Data Mining valid from 2021-01-01
Version of Record valid from 2021-08-18
Chapter History
First Online: 18 August 2021