摘要
根据偏好及其变化是否在逻辑语言及语义模型中有直接的反映,可以将其分为隐偏好和显偏好。本文旨在对含有隐偏好信息的逻辑进行研究,基于对直觉主义逻辑中的认知信息的分析,通过修改直觉主义逻辑的语义解释提出了隐偏好逻辑,并证明了该逻辑系统的可靠性和相对于可区分模型类的完全性;最后,通过定义哥德尔式的翻译映射将隐偏好逻辑嵌入到偏好逻辑中。
According to whether the preference information and its changes have a direct reflection in the language and semantics, preference can be classified into implicitpref- erence and explicit preference. The main purpose of this paper is to study the logics with implicit preference information. By redefining the modal connectives in intuitionistic logic to express the strict preference in language and semantics, we obtain the implicit preference logic, and further prove its soundness relative to all partial frames and the completeness relative to distinguishing models. Finally, in the virtue of GSdel Style translation, implicit preference logic can be embedded into preference logic.
出处
《逻辑学研究》
CSSCI
2012年第2期88-104,共17页
Studies in Logic
