Local possibilistic logic
作者:
Luca Boldrin,
Claudio Sossai,
期刊:
Journal of Applied Non-Classical Logics
(Taylor Available online 1997)
卷期:
Volume 7,
issue 3
页码: 309-333
ISSN:1166-3081
年代: 1997
DOI:10.1080/11663081.1997.10510917
出版商: Taylor & Francis Group
关键词: many-valued logics;substructural logics;possibility theory
数据来源: Taylor
摘要:
Possibilistic states of information are fuzzy sets of possible worlds. They constitute a complete lattice, which can be endowed with a monoidal operation (a t-norm) to produce a quantal. An algebraic semantics is presented which links possibilistic formulae with information states, and gives a natural interpretation of logical connectives as operations on fuzzy sets. Due to the quantal structure of information states, we obtain a system which shares several features with (exponential-free) intuitionistic linear logic. Soundness and completeness are proved, parametrically on the choice of the t-norm operation.
点击下载:
PDF (984KB)
返 回