Categorical and algebraic aspects of the intuitionistic modal logic IEL― and its predicate extensions

DOI10.1093/LOGCOM/EXAA082OpenAlexW3116821377MaRDI QIDQ5028321

Daniel Rogozin

Publication date: 8 February 2022

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2005.01135

zbMATH Keywords

localesfunctional programmingintuitionistic modal logicmodal type theoryprenucleuscover systems

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (2)

Constructive and mechanised meta-theory of intuitionistic epistemic logic ⋮ Categorical and Algebraic Aspects of the Intuitionistic Modal Logic $\operatorname{IEL}^{-}$ and its predicate extensions

This page was built for publication: Categorical and algebraic aspects of the intuitionistic modal logic IEL― and its predicate extensions

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