On Some Syntactic Properties of the Modalized Heyting Calculus

MaRDI QIDQ6280905zbMATH OpenFDO

Authors Alexei Y. Muravitsky

Publication date 15 December 2016

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Abstract: We show that the modalized Heyting calculus~cite{esa06} admits a normal axiomatization. Then we prove that in this calculus the inference rule $squarealpha/alpha$ is admissible (Proposition 5.6), but the rule $squarealphaightarrowalpha/alpha$ is not (Proposition 6.1). Finally, we show that this calculus and intuitionistic propositional calculus are assertorically equipollent, which leads to a variant of limited separation property for the modalized Heyting calculus.

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 Q6280905)