首页 | 本学科首页   官方微博 | 高级检索  
     检索      


Extending possibilistic logic over Gödel logic
Authors:Pilar Dellunde  Lluís Godo  Enrico Marchioni
Institution:a Universitat Autònoma de Barcelona, 08193 Bellaterra, Spain
b IIIA - CSIC, 08193 Bellaterra, Spain
Abstract:In this paper we present several fuzzy logics trying to capture different notions of necessity (in the sense of possibility theory) for Gödel logic formulas. Based on different characterizations of necessity measures on fuzzy sets, a group of logics with Kripke style semantics is built over a restricted language, namely, a two-level language composed of non-modal and modal formulas, the latter, moreover, not allowing for nested applications of the modal operator N. Completeness and some computational complexity results are shown.
Keywords:Possibilistic logic  Necessity measures    del logic  Fuzzy logic
本文献已被 ScienceDirect 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号