Consistency Degrees of Theories in Łukasiewicz Fuzzy and n-Valued Propositional Logic Systems

By means of theory of truth degrees of formulas, according to deduction theorems and completeness theorems, the new concepts of consistency degrees and polar index for general theories in Łukasewicz fuzzy and n-valued propositional logic systems are introduced. Moreover, sufficient and necessary con...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Applied Computational Intelligence and Soft Computing 2010-01, Vol.2010 (2010), p.122-128
1. Verfasser:	Zhang, Jiancheng
Format:	Artikel
Sprache:	eng
Schlagworte:	Completeness Computation Consistency Fuzzy Fuzzy logic Fuzzy set theory Intelligence Logic Soft computing Theory
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	By means of theory of truth degrees of formulas, according to deduction theorems and completeness theorems, the new concepts of consistency degrees and polar index for general theories in Łukasewicz fuzzy and n-valued propositional logic systems are introduced. Moreover, sufficient and necessary conditions for a theory Γ to be consistent, inconsistent, and fully divergent are obtained. Finally, some important properties of truth degrees of formulas are proposed.
ISSN:	1687-9724 1687-9732
DOI:	10.1155/2010/907298