Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
Crossref DOI link: https://doi.org/10.1007/s00153-020-00759-y
Published Online: 2021-02-24
Published Print: 2021-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Takemura, Ryo
Funding for this research was provided by:
Japan Society for the Promotion of Science (JP16K16689)
Text and Data Mining valid from 2021-02-24
Version of Record valid from 2021-02-24
Article History
Received: 18 July 2019
Accepted: 30 December 2020
First Online: 24 February 2021