Skip to main content
Top

2018 | OriginalPaper | Chapter

First Steps Towards Harnessing Partial Functions in Fuzzy Type Theory

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

In this paper we present how the theory of partial functions can be developed in the fuzzy type theory and show how the theory elaborated by Lapierre [3] and Lepage [4] can be included in it. Namely, the latter is developed as a special theory whose models contain the partial functions in the sense introduced by both authors.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

Footnotes
1
It is required that Sq gives square root for all elements from \(M_{\epsilon }\), on which it is defined and may give arbitrary elements otherwise.
 
2
We silently assumed that the crisp inequality \(\ge \) is also defined.
 
3
In fact, we can consider here some arbitrary type \(\alpha \) provided that we will specify its properties characterizing people.
 
Literature
1.
go back to reference Andrews, P.: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer, Dordrecht (2002)CrossRef Andrews, P.: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer, Dordrecht (2002)CrossRef
3.
6.
go back to reference Novák, V.: A comprehensive theory of trichotomous evaluative linguistic expressions. Fuzzy Sets Syst. 159(22), 2939–2969 (2008)MathSciNetCrossRef Novák, V.: A comprehensive theory of trichotomous evaluative linguistic expressions. Fuzzy Sets Syst. 159(22), 2939–2969 (2008)MathSciNetCrossRef
9.
go back to reference Novák, V.: Fuzzy type theory with partial functions. Iran. J. Fuzzy Syst. (submitted) Novák, V.: Fuzzy type theory with partial functions. Iran. J. Fuzzy Syst. (submitted)
10.
Metadata
Title
First Steps Towards Harnessing Partial Functions in Fuzzy Type Theory
Author
Vilém Novák
Copyright Year
2018
DOI
https://doi.org/10.1007/978-3-319-91473-2_62

Premium Partner