Skip to main content

2015 | OriginalPaper | Buchkapitel

8. Two Principles in Many-Valued Logic

verfasst von : Stefano Aguzzoli, Vincenzo Marra

Erschienen in: Petr Hájek on Mathematical Fuzzy Logic

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
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
Usage of the symbol \(\oplus \) to denote ordinal sums seems fairly standard. It is also standard to use \(\oplus \) to denote Łukasiewicz’s strong disjunction, see Cignoli et al. (2000). This we will do in Sect. 8.4, where context should prevent confusion.
 
Literatur
Zurück zum Zitat Aglianò, P., & Montagna, F. (2003). Varieties of BL-algebras I: general properties. Journal of Pure and Applied Algebra, 181, 105–129.MathSciNetCrossRefMATH Aglianò, P., & Montagna, F. (2003). Varieties of BL-algebras I: general properties. Journal of Pure and Applied Algebra, 181, 105–129.MathSciNetCrossRefMATH
Zurück zum Zitat Aguzzoli, S. (1998). A note on the representation of McNaughton lines by basic literals. Soft Computing, 2(3), 111–115.CrossRef Aguzzoli, S. (1998). A note on the representation of McNaughton lines by basic literals. Soft Computing, 2(3), 111–115.CrossRef
Zurück zum Zitat Cignoli, R. L. O., & Torrens, A. (2000). An algebraic analysis of product logic. Multiple-Valued Log, 5(1), 45–65.MathSciNetMATH Cignoli, R. L. O., & Torrens, A. (2000). An algebraic analysis of product logic. Multiple-Valued Log, 5(1), 45–65.MathSciNetMATH
Zurück zum Zitat 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., 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.
Zurück zum Zitat 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.CrossRef 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.CrossRef
Zurück zum Zitat 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.MathSciNetCrossRefMATH 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.MathSciNetCrossRefMATH
Zurück zum Zitat Cintula, P., Hájek, P., & Noguera, C. (Eds.) (2011). Handbook of mathematical fuzzy logic (Vol. 1). Studies in logic (Vol. 37). London: College Publications. Cintula, P., Hájek, P., & Noguera, C. (Eds.) (2011). Handbook of mathematical fuzzy logic (Vol. 1). Studies in logic (Vol. 37). London: College Publications.
Zurück zum Zitat 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). 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).
Zurück zum Zitat 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.MathSciNetCrossRefMATH 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.MathSciNetCrossRefMATH
Zurück zum Zitat Gödel, K. (1932). Zum intuitionistischen Aussagenkalkül. Anzeiger Akademie der Wissenschaften Wien, math.-naturwiss. Klasse, 69, 65–66.MATH Gödel, K. (1932). Zum intuitionistischen Aussagenkalkül. Anzeiger Akademie der Wissenschaften Wien, math.-naturwiss. Klasse, 69, 65–66.MATH
Zurück zum Zitat Hájek, P. (1998). Metamathematics of fuzzy logic. Trends in logic-studia logica library (Vol. 4). Dordrecht: Kluwer Academic Publishers. Hájek, P. (1998). Metamathematics of fuzzy logic. Trends in logic-studia logica library (Vol. 4). Dordrecht: Kluwer Academic Publishers.
Zurück zum Zitat 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). 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).
Zurück zum Zitat Mostert, P. S., & Shields, A. L. (1957). On the structure of semigroups on a compact manifold with boundary. Annals of Mathematics, 65, 117–143.MathSciNetCrossRefMATH Mostert, P. S., & Shields, A. L. (1957). On the structure of semigroups on a compact manifold with boundary. Annals of Mathematics, 65, 117–143.MathSciNetCrossRefMATH
Zurück zum Zitat Mundici, D. (1986). Interpretation of AF \({\rm C}^{*}\)-algebras in Łukasiewicz sentential calculus. Journal of Functional Analysis, 65(1), 15–63. Mundici, D. (1986). Interpretation of AF \({\rm C}^{*}\)-algebras in Łukasiewicz sentential calculus. Journal of Functional Analysis, 65(1), 15–63.
Metadaten
Titel
Two Principles in Many-Valued Logic
verfasst von
Stefano Aguzzoli
Vincenzo Marra
Copyright-Jahr
2015
DOI
https://doi.org/10.1007/978-3-319-06233-4_8