Truth Values in t-norm based Systems Many-valued FUZZY Logic


Autoria(s): Usó i Domènech, Josep Lluís; Nescolarde-Selva, Josué Antonio; Pérez Gonzaga, Sergio
Contribuinte(s)

Universidad de Alicante. Departamento de Matemática Aplicada

Sistémica, Cibernética y Optimización (SCO)

Data(s)

15/12/2014

15/12/2014

01/12/2014

Resumo

In t-norm based systems many-valued logic, valuations of propositions form a non-countable set: interval [0,1]. In addition, we are given a set E of truth values p, subject to certain conditions, the valuation v is v=V(p), V reciprocal application of E on [0,1]. The general propositional algebra of t-norm based many-valued logic is then constructed from seven axioms. It contains classical logic (not many-valued) as a special case. It is first applied to the case where E=[0,1] and V is the identity. The result is a t-norm based many-valued logic in which contradiction can have a nonzero degree of truth but cannot be true; for this reason, this logic is called quasi-paraconsistent.

Identificador

American Journal of Systems and Software. 2014, 2(6): 139-145. doi:10.12691/ajss-2-6-1

2372-708X (Print)

2372-7071 (Online)

http://hdl.handle.net/10045/43366

10.12691/ajss-2-6-1

Idioma(s)

eng

Publicador

Science and Education Publishing

Relação

http://pubs.sciepub.com/ajss/2/6/1/

Direitos

© Science and Education Publishing

info:eu-repo/semantics/openAccess

Palavras-Chave #Contradiction #Denier #Logic coordinations #Propositions #Truth value #Matemática Aplicada
Tipo

info:eu-repo/semantics/article