Logical Calculus Using Fuzzy Formulas
| Autor: | O. V. German, A. A. Linnik |
|---|---|
| Jazyk: | ruština |
| Rok vydání: | 2005 |
| Předmět: | |
| Zdroj: | Nauka i Tehnika, Vol 0, Iss 5, Pp 55-58 (2005) |
| Druh dokumentu: | article |
| ISSN: | 2227-1031 2414-0392 |
| DOI: | 10.21122/2227-1031-2005-0-5-55-58 |
| Popis: | The paper considers a functionally closed multi-valued calculus with conditional formulas F = {a|b} such that F s a when b = true; F = false when a = false and F = uncertainty in all other cases. A measure function for fuzzy conditional formulas has been worked out and a mechanism of logical conclusion for formulas of the proposed calculus is given in the paper. An axiomatics is introduced and theorems on incompleteness and functional closeness are proved. |
| Databáze: | Directory of Open Access Journals |
| Externí odkaz: |
|