Article citationsMore >>

Carnielli, W. and Marcos, J. 2001. Ex contradictione non sequitur quodlibet. Proc. 2nd Conf. on Reasoning and Logic (Bucharest, July 2000).

has been cited by the following article:

Article

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

1Department of Applied Mathematics, University of Alicante, Alicante, Spain


American Journal of Systems and Software. 2014, Vol. 2 No. 6, 139-145
DOI: 10.12691/ajss-2-6-1
Copyright © 2014 Science and Education Publishing

Cite this paper:
Usó-Doménech J.L., Nescolarde-Selva J., Perez-Gonzaga S.. Truth Values in t-norm based Systems Many-valued FUZZY Logic. American Journal of Systems and Software. 2014; 2(6):139-145. doi: 10.12691/ajss-2-6-1.

Correspondence to: Nescolarde-Selva  J., Department of Applied Mathematics, University of Alicante, Alicante, Spain. Email: josue.selva@ua.es

Abstract

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.

Keywords