Searching for the roots of non-contradiction and excluded-middle. (English) Zbl 1019.03049

The authors discuss standard propositional formulas which are counted as formalizations of the principles of non-contradiction and of excluded middle. Their aim is to discuss under rather weak algebraic assumptions the truth-value structure conditions under which these formulas become valid or equivalent. Their basic structure is a nonempty set equipped with a transitive binary relation \(R\), modeling entailment, and a unary operation that has to be \(R\)-reversing, hence a structure which subsumes, e.g., orthomodular and De Morgan lattices.


03G25 Other algebras related to logic
03B52 Fuzzy logic; logic of vagueness
Full Text: DOI


[1] Aczél J., Lectures on Functional Equations and their Applications (1966)
[2] Birkhoff G., Colloquim Publications (1948)
[3] Brouwer L.E J., From Frege to Godel: a sourcebook in Mathematical Logic, 1879-1931 pp 334– (1923)
[4] De Cooman G., Journal of Fuzzy Mathematics 2 pp 281– (1994)
[5] Ferrater Mora J., Diccionario de Filosofúa (1994)
[6] Goguen J.A., Journal of Mathematical Analysis and Applications 18 (1) pp 145– (1967) · Zbl 0145.24404 · doi:10.1016/0022-247X(67)90189-8
[7] Klement E., Triangular Norms (2000) · Zbl 0972.03002 · doi:10.1007/978-94-015-9540-7
[8] Piasecki K., Fuzzy Sets and Systems 17 pp 271– (1985) · Zbl 0604.60005 · doi:10.1016/0165-0114(85)90093-4
[9] Piasecki K., Fuzzy Sets and Systems 27 pp 379– (1988) · Zbl 0655.60004 · doi:10.1016/0165-0114(88)90063-2
[10] Schweizer B., Probabilistic Metric Spaces (1983) · Zbl 0546.60010
[11] SiIvert W., IEEE Transactions on Systems, Man and Cybernetics 9 pp 659– (1979)
[12] Trillas E., Stochastica (1) pp 47– (1979)
[13] Trillas, E. and Alsina, C. ”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. Vol. II, pp.857–863.
[14] Trillas E., International Journal of Approximate Reasoning 26 pp 145– (2001) · Zbl 0979.03022 · doi:10.1016/S0888-613X(00)00064-5
[15] Trillas E., International Journal of Intelligent Systems 15 pp 155– (2000) · Zbl 0966.03051 · doi:10.1002/(SICI)1098-111X(200003)15:3<155::AID-INT2>3.0.CO;2-0
[16] Trillas, E., Renedo, E. and Guadarrama, S. ”On a new theory of fuzzy sets with just one self-contradiction”. Proceedings of the 10th IEEE International Conference on Fuzzy Systems. Melbourne, Australia. Vol. 2, pp.105–108.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.