Crossmark

Combining Intuitionistic and Classical Propositional Logic: Gentzenization and Craig Interpolation

Published Online: 2024-01-06

Published Print: 2024-10

Authors

Toyooka, Masanobu

Sano, Katsuhiko https://orcid.org/0000-0002-7780-423X
Funding

Funding for this research was provided by:

Japan Society for the Promotion of Science (JP22H00597, JP19K12113, JP22J20341)
License Information

Text and Data Mining valid from 2024-01-06

Version of Record valid from 2024-01-06
More Information

Article History

Received: 3 August 2022

First Online: 6 January 2024

Document is current