Journal article
A note on Kripke semantics for residuated logic
Abstract
Residuated logic is a suitable logical system for approximate reasoning and for the development of fuzzy mathematics. Residuated propositional logic (RPC) is shown to be a fragment of a well-known substructural logic (denoted by HBCK). Using results for HBCK, Kriple-style semantics is described for RPC for which soundness and completeness theorems hold. These results answer a question previously posed for RPC and situate RPC in the currently …
Authors
MacCaull W
Journal
Fuzzy Sets and Systems, Vol. 77, No. 2, pp. 229–234
Publisher
Elsevier
Publication Date
January 1996
DOI
10.1016/0165-0114(95)00085-2
ISSN
0165-0114