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 H BCK ). Using results for H BCK , 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 active research field of substructural logics.
[1] Kevin Lano,et al. Fuzzy sets and residuated logic , 1992 .
[2] Hiroakira Ono,et al. Logics without the contraction rule , 1985, Journal of Symbolic Logic.
[3] Lawrence N. Stout,et al. The Logic of Unbalanced Subobjects in a Category with Two Closed Structures , 1992 .
[4] U. Höhle,et al. Applications of category theory to fuzzy subsets , 1992 .
[5] Kosta Dosen,et al. Sequent-systems and groupoid models. I , 1988, Stud Logica.