Skip to main content
SpringerLink
Log in

Multi-valued Logics, Effectiveness and Domains

  • Conference paper
Computation and Logic in the Real World (CiE 2007)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4497))

Included in the following conference series:

Abstract

Effective domain theory is applied to fuzzy logic to give suitable notions of semi-decidable and decidable L-subset. The connection with the notions of fuzzy Turing machines and fuzzy grammar given in literature is also investigated. This shows the inadequateness of these definitions and the difficulties in formulating an analogue of Church Thesis for fuzzy logic.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Biacino, L., Gerla, G.: Fuzzy logic, continuity and effectiveness. Archive for Mathematical Logic 41, 643–667 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  2. Gerla, G.: Decidability, partial decidability and sharpness relation for L-subsets. Studia Logica 46, 227–238 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  3. Gerla, G.: Effectiveness and Multivalued Logics. Journal of Symbolic Logic 71, 137–162 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  4. Gerla, G.: Fuzzy logic: Mathematical tools for approximate reasoning. Kluwer Academic Publishers, Dordrecht (2001)

    Book  MATH  Google Scholar 

  5. Goguen, J.A.: The logic of inexact concepts. Synthese 19, 325–373 (1968/69)

    Article  MATH  Google Scholar 

  6. Gottwald, S.: A treatise on many-valued logics. Research Studies Press, Baldock (2000)

    MATH  Google Scholar 

  7. Hájek, P.: Metamathematics of fuzzy logic. Kluwer Academic Publishers, Dordrecht (1998)

    Book  MATH  Google Scholar 

  8. Lee, E.T., Zadeh, L.A.: Note on fuzzy languages. Information Science 1, 421–434 (1969)

    Article  MathSciNet  Google Scholar 

  9. Mizumoto, M., Toyoda, J., Tanaka, K.: ℕ-fold fuzzy grammars. Information Science 5, 25–43 (1973)

    Article  MathSciNet  MATH  Google Scholar 

  10. Montagna, F.: Three complexity problems in quantified fuzzy logic. Studia Logica 68, 143–152 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  11. Mundici, D., Cignoli, R., D’Ottaviano, I.: Algebraic foundations of many-valued reasoning. Kluwer Academic Publishers, Dordrecht (2000)

    MATH  Google Scholar 

  12. Novak, V., Perfilieva, I., Mockor, J.: Mathematical principles of fuzzy logic. Kluwer Academic Publishers, Dordrecht (2000)

    MATH  Google Scholar 

  13. Pavelka, J.: On fuzzy logic I: Many-valued rules of inference. Zeitschrift für Mathemathische Logik und Grundlagen der Mathematik 25, 45–52 (1979)

    Article  MathSciNet  MATH  Google Scholar 

  14. Santos, E.S.: Max-Product Machines. J. of Math. Anal. Appl. 37, 677–686 (1972)

    Article  MathSciNet  MATH  Google Scholar 

  15. Smyth, M.: Effectively given domains. Theoretical Computer Science 5, 257–274 (1977)

    Article  MathSciNet  MATH  Google Scholar 

  16. Wiedermann, J.: Fuzzy Turing Machines revised. Inform. and Computing 21, 1–13 (2002)

    MathSciNet  MATH  Google Scholar 

  17. Zadeh, L.A.: Fuzzy algorithms. Information and Control 5, 62–94 (1968)

    MathSciNet  MATH  Google Scholar 

  18. Zadeh, L.A.: The concept of a linguistic variable and its application to approximate reasoning I, II, III, Information Sciences, 8, 9 pp. 199–275, pp. 301–357, pp. 43–80 (1975)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computer Science, University of Salerno, Via Ponte don Melillo 84084, Fisciano (SA), Italy

    Giangiacomo Gerla

Authors
  1. Giangiacomo Gerla
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dept. of Pure Mathematics, University of Leeds, LS2 9JT, Leeds, UK

    S. Barry Cooper

  2. Institue for Logic, Language and Computation (ILLC), Universiteit van Amsterdam, Plantage Muidergracht 24, 1018, TV Amsterdam, The Netherlands

    Benedikt Löwe

  3. Dipartimento di Scienze Matematiche ed Informatiche “R. Magari”, University of Siena, 53100, Siena, Italy

    Andrea Sorbi

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gerla, G. (2007). Multi-valued Logics, Effectiveness and Domains. In: Cooper, S.B., Löwe, B., Sorbi, A. (eds) Computation and Logic in the Real World. CiE 2007. Lecture Notes in Computer Science, vol 4497. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73001-9_35

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-73001-9_35

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-73000-2

  • Online ISBN: 978-3-540-73001-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation