Algebraic semantics for modal and superintuitionistic non-monotonic logics

David Pearce; Levan Uridia

首页> 外文期刊>Journal of applied non-classical logics >Algebraic semantics for modal and superintuitionistic non-monotonic logics

【24h】

Algebraic semantics for modal and superintuitionistic non-monotonic logics

机译：模态和超直觉非单调逻辑的代数语义

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

The paper provides a preliminary study of algebraic semantics for modal and superintuitionistic non-monotonic logics. The main question answered is: how can non-monotonic inference be understood algebraically?

机译：本文为模态和超直觉非单调逻辑提供了代数语义的初步研究。回答的主要问题是：如何以代数方式理解非单调推理？

著录项

来源
《Journal of applied non-classical logics》 |2013年第2期|147-158|共12页
作者
David Pearce; Levan Uridia;
展开▼
作者单位

Universidad Politecnica de Madrid, Spain;

International Black Sea University and Georgian Institute of Cybernetics, Tbilisi, Georgia;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
non-monotonic logic; equilibrium logic; Boolean algebras with operators; Heyting algebras;

机译：非单调逻辑;均衡逻辑带运算符的布尔代数;Heyting代数;
入库时间 2022-08-18 02:20:57

相似文献

外文文献
中文文献
专利

1. A non-preferential semantics of non-monotonic modal logic [J] . Michael Kaminski Annals of Mathematics and Artificial Intelligence . 2008,第1a4期

机译：非单调模态逻辑的非优先语义
2. Problem of restricted interpolation in superintuitionistic and some modal logics [J] . Larisa Maksimova Logic Journal of IGPL . 2010,第3期

机译：超直觉和一些模态逻辑中的受限插值问题
3. On the Simple Substitution Property for Superintuitionistic and Modal Propositional Logics [J] . V. I. Khomich Doklady. Mathematics . 2008,第3期

机译：关于超直觉和模态命题逻辑的简单替代性质
4. SEMANTICS OF PROPOSITIONAL FUZZY MODAL LOGIC WITH EVALUATED SYNTAX BASED ON MV-ALGEBRAS [C] . Xiaodong Pan, Hairui Jia, Yang Xu, Decision making and soft computing . 2014

机译：基于MV-代数的带评估语法的提议模糊模态逻辑
5. Probabilistic Semantics for Modal Logic [D] . Lando, Tamar Ariela 2012

机译：模态逻辑的概率语义
6. Real-Time Algebraic Derivative Estimations Using a Novel Low-Cost Architecture Based on Reconfigurable Logic [O] . Rafael Morales, Fernando Rincón, Julio Dondo Gazzano, 2014

机译：基于可重构逻辑的新型低成本体系结构的实时代数导数估计
7. Modal Intuitionistic Logics and Predicate Superintuitionistic Logics : Correspondence Theory(New Aspects in Non-Classical Logics and Their Kripke Semantics) [O] . Bezhanishvili Guram 1997

机译：模态直觉逻辑和谓语超直觉逻辑：对应理论（非古典逻辑及其Kripke语义的新观点）
8. Explicit Provability: The Intended Semantics for Intuitionistic and Modal Logic [R] . Artemov, S. N. 1998

机译：显式可证性：直觉和模态逻辑的预期语义

Algebraic semantics for modal and superintuitionistic non-monotonic logics

摘要

著录项

相似文献

相关主题

期刊订阅