Searching for the roots of non-contradiction and excluded-middle

International Journal of General Systems

Volumn 31, Issue 5, 2002, Pages 499-513

  Trillas, E ^a   Alsina, C ^b   Pradera, A ^c  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

^b UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

^c UNIVERSIDAD REY JUAN CARLOS   (Spain)

Author keywords

Excluded middle; L fuzzy logic; Logic; Non contradiction; Self contradiction

Indexed keywords

MODERN LOGICS; NON-CONTRADICTION (NC);

ALGEBRA; THEOREM PROVING;

FUZZY SETS;

EID: 20444497049     PISSN: 03081079     EISSN: 15635104     Source Type: Journal    
DOI: 10.1080/0308107021000042462     Document Type: Article

References (17)

1. Aczél, J. (1966) Lectures on Functional Equations and their Applications (Academic Press, New York).
2. Birkhoff, G. (1948) Lattice Theory (American Mathematical Society, Colloquim Publications Vol. XXV.
3. Brouwer, L.E.J. (19231971) "On the significance of the principle of excluded middle in mathematics, especially in function theory", In: Van Heijenoort, J., ed., From Frege to Gödel: a sourcebook in Mathematical Logic, 1879-1931 (1971) (Harvard University Press, Translated from German, pp. 334-345.
4. De Cooman, G. and Kerre, E. (1994) "Order norms on bounded partially ordered sets". Journal of Fuzzy Mathematics 2, 281-310.
5. Ferrater Mora, J. (1994) In: Ariel, ed., Diccionario de Filosofúa, (Barcelona), In Spanish.
6. Goguen, J.A. (1967) "L-fuzzy sets", Journal of Mathematical Analysis and Applications 18(1), 145-174.
7. Klement, E., Mesiar, R. and Pap, E. (2000) Triangular Norms (Kluwer Academic Publisher, Dordrecht).
8. Piasecki, K. (1985) "Probability of fuzzy events defined as the numerable additivity measure", Fuzzy Sets and Systems 17, 271-284.
9. Piasecki, K. and Swipalski, Z. (1988) "A remark on the definition of fuzzy P-measures and the Bayes formula". Fuzzy Sets and Systems 27, 379-383.
10. Schweizer, B. and Sklar, A. (1983) Probabilistic Metric Spaces (North-Holland).
11. Silvert, W. (1979) "Symmetric summation: a class of operations on fuzzy sets", IEEE Transactions on Systems, Man and Cybernetics 9, 659-667.
12. Trillas, E. (1979) "Sobre funciones de negación en la teoróa de los subconjuntos difusos", Stochastica III(1), 47-59, (In Spanish).
13. Reprinted (English version) In: Advances of Fuzzy Logic, S. Barro et al. (ed.), Universidad de Santiago de Compostela, (1998), pp. 31-43.
14. Trillas, E. and Alsina, C. (2000b) "An Outline of a Naïve Loose-Set Theory", Proceedings of the 8th International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems, Madrid, Spain II, 857-863.
15. Trillas, E. and Alsina, C. (2001a) "Elkan's theoretical argument, reconsidered". International Journal of Approximate Reasoning 26, 145-152.
16. Trillas, E., Alsina, C. and Jacas, J. (2000a) "On logical connectives for a fuzzy set theory with or without nonempty self- contradictions", International Journal of Intelligent Systems 15, 155-164.
17. Trillas, E., Renedo, E. and Guadarrama, S. (2001b) "On a new theory of fuzzy sets with just one self-contradiction", Proceedings of the 10th IEEE International Conference on Fuzzy Systems, Melbourne, Australia 2, 105-108.