A proof-theoretic approach to negative translations in intuitionistic tense logics

From MaRDI portal
Publication:2082257

DOI10.1007/s11225-022-10003-8OpenAlexW4281490290WikidataQ113900493 ScholiaQ113900493MaRDI QIDQ2082257

Minghui Ma, Zhe Lin

Publication date: 4 October 2022

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-022-10003-8




Related Items (1)



Cites Work


This page was built for publication: A proof-theoretic approach to negative translations in intuitionistic tense logics