Local possibilistic logic

1 January 1997

journal article
research article
Published by Taylor & Francis in Journal of Applied Non-Classical Logics

Vol. 7 (3) , 309-333
https://doi.org/10.1080/11663081.1997.10510917

Abstract

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.

Keywords

This publication has 12 references indexed in Scilit:

Pretopologies and completeness proofs
The Journal of Symbolic Logic, 1995
Inferences in probability logic
Artificial Intelligence, 1994
Reasoning about knowledge and probability
Journal of the ACM, 1994
On logics of approximate reasoning
Published by Springer Nature ,1994
A survey of belief revision and updating rules in various uncertainty models
International Journal of Intelligent Systems, 1994
Measure-Based Semantics for Modal Logic
Published by Springer Nature ,1993
Fuzzy sets in approximate reasoning, Part 2: logical approaches
Fuzzy Sets and Systems, 1991
Linear logic
Theoretical Computer Science, 1987
A review of fuzzy set aggregation connectives
Information Sciences, 1985
On Fuzzy Logic I Many‐valued rules of inference
Mathematical Logic Quarterly, 1979