On Some Syntactic Properties of the Modalized Heyting Calculus

From MaRDI portal

MaRDI QIDQ7136675arXivFDO

Authors Alexei Y. Muravitsky

Publication date 2016

Published in arXiv


arXiv classification

math.LO















This page was built for publication: On Some Syntactic Properties of the Modalized Heyting Calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7136675)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=On_Some_Syntactic_Properties_of_the_Modalized_Heyting_Calculus&oldid=107001521"
Powered by MediaWiki