Crossmark

A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics

Published Online: 2022-05-25

Published Print: 2022-10

Authors

Lin, Zhe

Ma, Minghui
Funding

Funding for this research was provided by:

chinese national funding of social sciences (17CZX048)
License Information

Text and Data Mining valid from 2022-05-25

Version of Record valid from 2022-05-25
More Information

Article History

Received: 27 July 2021

First Online: 25 May 2022

Document is current