论文标题
模态见面逻辑
Modal meet-implication logic
论文作者
论文摘要
我们以介绍直觉逻辑的命中式片段扩展了象征性的片段。我们提供基于半层次的语义，并具有适当的描述性框架概念的二元性结果。结果，我们获得完整性并确定大型模态直觉逻辑的常见（模态）片段。我们将这种逻辑视为拨号术逻辑，因此获得表达性，else。然后，在Dialgebraic框架内，我们研究了具有单调模态的命题直觉逻辑的会议象征片段的扩展，并证明了完整性和表达性 - 众所周知。
We extend the meet-implication fragment of propositional intuitionistic logic with a meet-preserving modality. We give semantics based on semilattices and a duality result with a suitable notion of descriptive frame. As a consequence we obtain completeness and identify a common (modal) fragment of a large class of modal intuitionistic logics. We recognise this logic as a dialgebraic logic, and as a consequence obtain expressivity-somewhere-else. Within the dialgebraic framework, we then investigate the extension of the meet-implication fragment of propositional intuitionistic logic with a monotone modality and prove completeness and expressivity-somewhere-else for it.
