|
This article is cited in 1 scientific paper (total in 1 paper)
Fuzzy logics with modalities
O. V. Zeeval'd Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences
Abstract:
We explore the basic fuzzy logic $BL$ as well as propositional fuzzy logics with modalities $\Box$ and $\diamond$ and a total accessibility relation. Formulations and proofs are given to replacement theorems for $BL$. A basic calculus of modal fuzzy logic is introduced. For this calculus and its extensions, we prove replacement and deduction theorems.
Keywords:
basic fuzzy logic, $BL$-algebra, modality, Kripke $L$-structure, calculus, schematic extension, replacement theorem, deduction theorem.
Received: 03.03.2006
Citation:
O. V. Zeeval'd, “Fuzzy logics with modalities”, Algebra Logika, 45:6 (2006), 731–757; Algebra and Logic, 45:6 (2006), 415–430
Linking options:
https://www.mathnet.ru/eng/al167 https://www.mathnet.ru/eng/al/v45/i6/p731
|
Statistics & downloads: |
Abstract page: | 438 | Full-text PDF : | 350 | References: | 32 | First page: | 7 |
|