Abstract
Classically, two propositions are logically equivalent precisely when they are true under the same logical valuations. Also, two logical valuations are distinct if, and only if, there is a formula that is true according to one valuation, and false according to the other. By a real-valued logic we mean a many-valued logic in the sense of Petr Hájek that is complete with respect to a subalgebra of truth values of a BL-algebra given by a continuous triangular norm on [0, 1]. Abstracting the two foregoing properties from classical logic leads us to two principles that a real-valued logic may or may not satisfy. We prove that the two principles are sufficient to characterise Łukasiewicz and Gödel logic, to within extensions. We also prove that, under the additional assumption that the set of truth values be closed in the Euclidean topology of [0, 1], the two principles also afford a characterisation of Product logic.
Dedicated to Petr Hájek
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
It should be emphasised that there is some leeway in formulating the separating conditions \(\mu (\alpha )>0\) and \(\nu (\alpha )=0\) here: see Corollary 8.1 below for equivalent variants.
- 2.
References
Aglianò, P., & Montagna, F. (2003). Varieties of BL-algebras I: general properties. Journal of Pure and Applied Algebra, 181, 105–129.
Aguzzoli, S. (1998). A note on the representation of McNaughton lines by basic literals. Soft Computing, 2(3), 111–115.
Cignoli, R. L. O., & Torrens, A. (2000). An algebraic analysis of product logic. Multiple-Valued Log, 5(1), 45–65.
Cignoli, R. L. O., D’Ottaviano, I. M. L., & Mundici, D. (2000). Algebraic foundations of many-valued reasoning. Trends in logic-studia logica library (Vol. 7). Dordrecht: Kluwer Academic Publishers.
Cignoli, R. L. O., Esteva, F., & Torrens, A. (2000). Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Computing, 4(2), 106–112.
Cintula, P., Esteva, F., Gispert, J., Montagna, F., & Noguera, C. (2009). Distinguished algebraic semantics for \(t\)-norm based fuzzy logics: methods and algebraic equivalencies. Annals of Pure and Applied Logic, 160, 53–81.
Cintula, P., Hájek, P., & Noguera, C. (Eds.) (2011). Handbook of mathematical fuzzy logic (Vol. 1). Studies in logic (Vol. 37). London: College Publications.
Dummett, M. (1959). A propositional calculus with denumerable matrix. Journal of Symbolic Logic, 24, 97–106.
Engelking, R. (1977). General topology. Warsaw: PWN-Polish Scientific Publishers. Translated from the Polish by the author, Monografie Matematyczne, Tom 60 (Mathematical monographs, Vol. 60).
Esteva, F., & Ll, Godo. (2001). Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets and Systems, 124(3), 271–288.
Gödel, K. (1932). Zum intuitionistischen Aussagenkalkül. Anzeiger Akademie der Wissenschaften Wien, math.-naturwiss. Klasse, 69, 65–66.
Hájek, P. (1998). Metamathematics of fuzzy logic. Trends in logic-studia logica library (Vol. 4). Dordrecht: Kluwer Academic Publishers.
Marra, V., & Spada, L. (2012). The dual adjunction between MV-algebras and Tychonoff spaces. Studia Logica, 100(1–2), 253–278 (Special issue in memoriam Leo Esakia).
Mostert, P. S., & Shields, A. L. (1957). On the structure of semigroups on a compact manifold with boundary. Annals of Mathematics, 65, 117–143.
Mundici, D. (1986). Interpretation of AF \({\rm C}^{*}\)-algebras in Łukasiewicz sentential calculus. Journal of Functional Analysis, 65(1), 15–63.
Acknowledgments
We are grateful to two anonymous referees for several remarks on an earlier version of this chapter that led to improvements in exposition, and to shorter proofs of some of the results given here.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Aguzzoli, S., Marra, V. (2015). Two Principles in Many-Valued Logic. In: Montagna, F. (eds) Petr Hájek on Mathematical Fuzzy Logic. Outstanding Contributions to Logic, vol 6. Springer, Cham. https://doi.org/10.1007/978-3-319-06233-4_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-06233-4_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-06232-7
Online ISBN: 978-3-319-06233-4
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)