Skip to main content
Erschienen in: Soft Computing 1/2017

02.11.2016 | Focus

Density revisited

verfasst von: George Metcalfe, Constantine Tsinakis

Erschienen in: Soft Computing | Ausgabe 1/2017

Einloggen

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

search-config
loading …

Abstract

In this (part survey) paper, we revisit algebraic and proof-theoretic methods developed by Franco Montagna and his co-authors for proving that the chains (totally ordered members) of certain varieties of semilinear residuated lattices embed into dense chains of these varieties, a key step in establishing standard completeness results for fuzzy logics. Such “densifiable” varieties are precisely the varieties that are generated as quasivarieties by their dense chains. By showing that all dense chains satisfy a certain e-cyclicity equation, we give a short proof that the variety of all semilinear residuated lattices is not densifiable (first proved by Wang and Zhao). We then adapt the Jenei–Montagna standard completeness proof for monoidal t-norm logic to show that any variety of integral semilinear residuated lattices axiomatized by additional lattice-ordered monoid equations is densifiable. We also generalize known results to show that certain varieties of cancellative semilinear residuated lattices are densifiable. Finally, we revisit the Metcalfe–Montagna proof-theoretic approach, which establishes densifiability of a variety via the elimination of a density rule for a suitable hypersequent calculus, focussing on the case of commutative semilinear residuated lattices.

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 "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!

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!

Fußnoten
1
This result was observed independently by Nikolaos Galatos (private communication).
 
Literatur
Zurück zum Zitat Avron A (1991) Hypersequents, logical consequence and intermediate logics for concurrency. Ann Math Artif Intel 4(3–4):225–248CrossRefMATHMathSciNet Avron A (1991) Hypersequents, logical consequence and intermediate logics for concurrency. Ann Math Artif Intel 4(3–4):225–248CrossRefMATHMathSciNet
Zurück zum Zitat Baaz M, Zach R (2000) Hypersequents and the proof theory of intuitionistic fuzzy logic. Proceedings of CSL 2000, vol 1862., lecture notes in computer scienceSpringer, Berlin, pp 187–201 Baaz M, Zach R (2000) Hypersequents and the proof theory of intuitionistic fuzzy logic. Proceedings of CSL 2000, vol 1862., lecture notes in computer scienceSpringer, Berlin, pp 187–201
Zurück zum Zitat Baaz M, Ciabattoni A, Montagna F (2004) Analytic calculi for monoidal t-norm based logic. Fundam Inform 59(4):315–332MATHMathSciNet Baaz M, Ciabattoni A, Montagna F (2004) Analytic calculi for monoidal t-norm based logic. Fundam Inform 59(4):315–332MATHMathSciNet
Zurück zum Zitat Baldi P (2014) A note on standard completeness for some extensions of uninorm logic. Soft Comput 18(8):1463–1470CrossRefMATH Baldi P (2014) A note on standard completeness for some extensions of uninorm logic. Soft Comput 18(8):1463–1470CrossRefMATH
Zurück zum Zitat Baldi P, Ciabattoni A (2015a) Standard completeness for uninorm-based logics. In: Proceedings of ISMVL 2015, IEEE Computer Society Press, pp 78–83 Baldi P, Ciabattoni A (2015a) Standard completeness for uninorm-based logics. In: Proceedings of ISMVL 2015, IEEE Computer Society Press, pp 78–83
Zurück zum Zitat Baldi P, Ciabattoni A (2015b) Uniform proofs of standard completeness for extensions of first-order MTL. Theor Comput Sci 603:43–57CrossRefMATHMathSciNet Baldi P, Ciabattoni A (2015b) Uniform proofs of standard completeness for extensions of first-order MTL. Theor Comput Sci 603:43–57CrossRefMATHMathSciNet
Zurück zum Zitat Baldi P, Ciabattoni A, Spendier L (2012) Standard completeness for extensions of MTL: an automated approach. Proceedings of WoLLIC 2012, vol 8701, lecture notes in computer science. Springer, Berlin, pp 154–167 Baldi P, Ciabattoni A, Spendier L (2012) Standard completeness for extensions of MTL: an automated approach. Proceedings of WoLLIC 2012, vol 8701, lecture notes in computer science. Springer, Berlin, pp 154–167
Zurück zum Zitat Ciabattoni A, Esteva F, Godo L (2002) T-norm based logics with n-contraction. Neural Netw World 12(5):441–453 Ciabattoni A, Esteva F, Godo L (2002) T-norm based logics with n-contraction. Neural Netw World 12(5):441–453
Zurück zum Zitat Ciabattoni A, Galatos N, Terui K (2008) From axioms to analytic rules in nonclassical logics. In: Proceedings of LICS 2008, IEEE Computer Society Press, pp 229–240 Ciabattoni A, Galatos N, Terui K (2008) From axioms to analytic rules in nonclassical logics. In: Proceedings of LICS 2008, IEEE Computer Society Press, pp 229–240
Zurück zum Zitat Ciabattoni A, Galatos N, Terui K (2012) Algebraic proof theory for substructural logics: cut-elimination and completions. Ann Pure Appl Log 163(3):266–290 Ciabattoni A, Galatos N, Terui K (2012) Algebraic proof theory for substructural logics: cut-elimination and completions. Ann Pure Appl Log 163(3):266–290
Zurück zum Zitat Ciabattoni A, Galatos N, Terui K (2016) Algebraic proof theory for substructural logics: hypersequents. Manuscript Ciabattoni A, Galatos N, Terui K (2016) Algebraic proof theory for substructural logics: hypersequents. Manuscript
Zurück zum Zitat Cignoli R, D’Ottaviano ID, Mundici D (2000) Algebraic foundations of many-valued reasoning. Trends in logic. Kluwer, Dordrecht Cignoli R, D’Ottaviano ID, Mundici D (2000) Algebraic foundations of many-valued reasoning. Trends in logic. Kluwer, Dordrecht
Zurück zum Zitat Cignoli R, Esteva F, Godo L, Torrens A (2000) Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Comput 4:106–112CrossRef Cignoli R, Esteva F, Godo L, Torrens A (2000) Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Comput 4:106–112CrossRef
Zurück zum Zitat Cintula P, Noguera C (2011) A general framework for mathematical fuzzy logic. In: Cintula P, Hájek P, Noguera C (eds) Handbook of mathematical fuzzy logic, vol 1, studies in logic, mathematical logic and foundations, vol 37. College Publications, pp 103–207 Cintula P, Noguera C (2011) A general framework for mathematical fuzzy logic. In: Cintula P, Hájek P, Noguera C (eds) Handbook of mathematical fuzzy logic, vol 1, studies in logic, mathematical logic and foundations, vol 37. College Publications, pp 103–207
Zurück zum Zitat Cintula P, Noguera C (2016) Implicational (semilinear) logics III. Manuscript Cintula P, Noguera C (2016) Implicational (semilinear) logics III. Manuscript
Zurück zum Zitat Cintula P, Esteva F, Gispert J, Godo L, Montagna F, Noguera C (2009) Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Ann Pure Appl Logic 160(1):53–81CrossRefMATHMathSciNet Cintula P, Esteva F, Gispert J, Godo L, Montagna F, Noguera C (2009) Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Ann Pure Appl Logic 160(1):53–81CrossRefMATHMathSciNet
Zurück zum Zitat Czelakowski J, Dziobiak W (1990) Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class. Algebra Univ 27:128–149CrossRefMATHMathSciNet Czelakowski J, Dziobiak W (1990) Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class. Algebra Univ 27:128–149CrossRefMATHMathSciNet
Zurück zum Zitat Esteva F, Godo L (2001) Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst 124(3):271–288CrossRefMATHMathSciNet Esteva F, Godo L (2001) Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst 124(3):271–288CrossRefMATHMathSciNet
Zurück zum Zitat Esteva F, Gispert L, Godo L, Montagna F (2002) On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic. Stud Log 71(2):199–226CrossRefMATHMathSciNet Esteva F, Gispert L, Godo L, Montagna F (2002) On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic. Stud Log 71(2):199–226CrossRefMATHMathSciNet
Zurück zum Zitat Galatos N, Horčik R (2016) Densification via polynomials, languages, and frames. J Pure Appl Algebra Galatos N, Horčik R (2016) Densification via polynomials, languages, and frames. J Pure Appl Algebra
Zurück zum Zitat Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse at substructural logics., Studies in logic and the foundations of mathematics. Elsevier, Amsterdam Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse at substructural logics., Studies in logic and the foundations of mathematics. Elsevier, Amsterdam
Zurück zum Zitat Gödel K (1932) Zum intuitionistischen Aussagenkalkül. Anzeiger der Akademie der Wissenschaftischen in Wien 69:65–66MATH Gödel K (1932) Zum intuitionistischen Aussagenkalkül. Anzeiger der Akademie der Wissenschaftischen in Wien 69:65–66MATH
Zurück zum Zitat Häjek P (1998) Metamathematics of fuzzy logic, trends in logic, vol 4. Kluwer, DordrechtCrossRefMATH Häjek P (1998) Metamathematics of fuzzy logic, trends in logic, vol 4. Kluwer, DordrechtCrossRefMATH
Zurück zum Zitat Horčík R (2011) Algebraic semantics: semilinear FL-algebras. In: Cintula P, Häjek P, Noguera C (eds) Handbook of mathematical fuzzy logic, vol 1, studies in logic, mathematical logic and foundations, vol 37. College Publications, pp 283–353 Horčík R (2011) Algebraic semantics: semilinear FL-algebras. In: Cintula P, Häjek P, Noguera C (eds) Handbook of mathematical fuzzy logic, vol 1, studies in logic, mathematical logic and foundations, vol 37. College Publications, pp 283–353
Zurück zum Zitat Jenei S, Montagna F (2002) A proof of standard completeness for Esteva and Godo fs logic MTL. Stud Log 70(2):183–192CrossRefMATH Jenei S, Montagna F (2002) A proof of standard completeness for Esteva and Godo fs logic MTL. Stud Log 70(2):183–192CrossRefMATH
Zurück zum Zitat Jenei S, Montagna F (2003) A proof of standard completeness for non-commutative monoidal t-norm logic. Neural Netw World 13(5):481–489 Jenei S, Montagna F (2003) A proof of standard completeness for non-commutative monoidal t-norm logic. Neural Netw World 13(5):481–489
Zurück zum Zitat Jipsen P, Tsinakis C (2002) A survey of residuated lattices. In: Martinez J (ed) Ordered algebraic structures. Kluwer, Dordrecht, pp 19–56CrossRef Jipsen P, Tsinakis C (2002) A survey of residuated lattices. In: Martinez J (ed) Ordered algebraic structures. Kluwer, Dordrecht, pp 19–56CrossRef
Zurück zum Zitat Łukasiewicz J, Tarski A (1930) Untersuchungen über den Aussagenkalkül, Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie 23(iii):30–50 Łukasiewicz J, Tarski A (1930) Untersuchungen über den Aussagenkalkül, Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie 23(iii):30–50
Zurück zum Zitat Metcalfe G (2003) Proof theory for propositional fuzzy logics. Ph.D. thesis, King’s College London Metcalfe G (2003) Proof theory for propositional fuzzy logics. Ph.D. thesis, King’s College London
Zurück zum Zitat Metcalfe G (2011) Proof theory of mathematical fuzzy logic. In: Cintula P, Häjek P, Noguera C (eds) Handbook of mathematical fuzzy logic—vol 1. Studies in logic, mathematical logic and foundations, vol 37. College Publications, pp 209–282 Metcalfe G (2011) Proof theory of mathematical fuzzy logic. In: Cintula P, Häjek P, Noguera C (eds) Handbook of mathematical fuzzy logic—vol 1. Studies in logic, mathematical logic and foundations, vol 37. College Publications, pp 209–282
Zurück zum Zitat Metcalfe G, Montagna F (2007) Substructural fuzzy logics. J Symb Log 72(3):834–864CrossRef Metcalfe G, Montagna F (2007) Substructural fuzzy logics. J Symb Log 72(3):834–864CrossRef
Zurück zum Zitat Metcalfe G, Olivetti N, Gabbay D (2004) Analytic proof calculi for product logics. Arch Math Log 43(7):859–889CrossRefMATH Metcalfe G, Olivetti N, Gabbay D (2004) Analytic proof calculi for product logics. Arch Math Log 43(7):859–889CrossRefMATH
Zurück zum Zitat Metcalfe G, Olivetti N, Gabbay D (2005) Sequent and hypersequent calculi for abelian and Łukasiewicz logics. ACM Trans Comput Log 6(3):578–613CrossRefMATHMathSciNet Metcalfe G, Olivetti N, Gabbay D (2005) Sequent and hypersequent calculi for abelian and Łukasiewicz logics. ACM Trans Comput Log 6(3):578–613CrossRefMATHMathSciNet
Zurück zum Zitat Metcalfe G, Olivetti N, Gabbay D (2008) Proof theory for fuzzy logics, applied logic, vol 36. Springer, BerlinMATH Metcalfe G, Olivetti N, Gabbay D (2008) Proof theory for fuzzy logics, applied logic, vol 36. Springer, BerlinMATH
Zurück zum Zitat Metcalfe G, Paoli F, Tsinakis C (2010) Ordered algebras and logic, uncertainty and rationality. In: Hosni H, Montagna F (eds) Publications of the Scuola Normale Superiore di Pisa, vol 10, pp 1–85 Metcalfe G, Paoli F, Tsinakis C (2010) Ordered algebras and logic, uncertainty and rationality. In: Hosni H, Montagna F (eds) Publications of the Scuola Normale Superiore di Pisa, vol 10, pp 1–85
Zurück zum Zitat Montagna F, Ono H (2002) Kripke semantics, undecidability and standard completeness for Esteva and Godo’s logic MTL\(\forall \). Stud Log 71(2):227–245CrossRefMATHMathSciNet Montagna F, Ono H (2002) Kripke semantics, undecidability and standard completeness for Esteva and Godo’s logic MTL\(\forall \). Stud Log 71(2):227–245CrossRefMATHMathSciNet
Zurück zum Zitat Rose A, Rosser JB (1958) Fragments of many-valued statement calculi. Trans Am Math Soc 87:1–53 Rose A, Rosser JB (1958) Fragments of many-valued statement calculi. Trans Am Math Soc 87:1–53
Metadaten
Titel
Density revisited
verfasst von
George Metcalfe
Constantine Tsinakis
Publikationsdatum
02.11.2016
Verlag
Springer Berlin Heidelberg
Erschienen in
Soft Computing / Ausgabe 1/2017
Print ISSN: 1432-7643
Elektronische ISSN: 1433-7479
DOI
https://doi.org/10.1007/s00500-016-2420-7

Weitere Artikel der Ausgabe 1/2017

Soft Computing 1/2017 Zur Ausgabe