Categorical and Algebraic Aspects of the Intuitionistic Modal Logic $\operatorname{IEL}^{-}$ and its predicate extensions
From MaRDI portal
Publication:6339922
DOI10.1093/LOGCOM/EXAA082zbMath1510.03011arXiv2005.01135MaRDI QIDQ6339922
Publication date: 3 May 2020
Modal logic (including the logic of norms) (03B45) Functional programming and lambda calculus (68N18) Categorical logic, topoi (03G30) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)
This page was built for publication: Categorical and Algebraic Aspects of the Intuitionistic Modal Logic $\operatorname{IEL}^{-}$ and its predicate extensions
