Skip to main content
SpringerLink
Log in

Monadic Curry System N1*

  • Conference paper
Book cover Knowledge-Based and Intelligent Information and Engineering Systems (KES 2010)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6278))

  • 1280 Accesses

Abstract

This paper is a sequel to [5], [6]. We present the Curry monadic system N1*which has as extensions the Curry monadic algebras C1* and P1*. All those systems are extensions of the classical monadic algebras introduced by Halmos [13]. Also the Curry monadic system N1constitutes an algebraic version of the non-alethic predicate logic N1*.

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. Abe, J.M.: A note on Curry algebras, Bulletin of the Section of Logic. Polish Academy of Sciences 16(4), 151–158 (1987)

    MATH  MathSciNet  Google Scholar 

  2. Abe, J.M.: Curry Algebras N1. Atti Acc. Lincei Rend. Fis. 7(9), 125–128 (1996)

    MATH  Google Scholar 

  3. Abe, J.M.: Curry algebras Pτ. Logique et Analyse  161-162-163, 5–15 (1998)

    Google Scholar 

  4. Abe, J.M., Akama, S., Nakamatsu, K.: Monadic Curry Algebras Qτ. In: Apolloni, B., Howlett, R.J., Jain, L. (eds.) KES 2007, Part II. LNCS (LNAI), vol. 4693, pp. 893–900. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  5. Abe, J.M., Nakamatsu, K., Akama, S.: An Algebraic Version of the Monadic System C1. In: New Advances in Intelligent Decision Technologies. Studies in Computational Intelligence, vol. 199, pp. 341–349. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  6. Abe, J.M., Nakamatsu, K., Akama, S.: A Note on Monadic Curry System P1. In: Velásquez, J.D., Ríos, S.A., Howlett, R.J., Jain, L.C. (eds.) KES 2009. LNCS, vol. 5712, pp. 388–394. Springer, Heidelberg (2009)

    Google Scholar 

  7. Barros, C.M., da Costa, N.C.A., Abe, J.M.: Tópico de teoria dos sistemas ordenados: vol. II, sistemas de Curry, Coleção Documentos, Série Lógica e Teoria da Ciência, IEA-USP, 20, 132p (1995)

    Google Scholar 

  8. Curry, H.B.: Foundations of Mathematical Logic. Dover, New York (1977)

    MATH  Google Scholar 

  9. Da Costa, N.C.A.: On the theory of inconsistent formal systems. Notre Dame J. of Formal Logic 15, 497–510 (1974)

    Article  MATH  Google Scholar 

  10. Da Costa, N.C.A., Marconi, D.: A note on paracomplete logic. Atti. Acc. Lincei Rend. Fis. 80(8), 504–509 (1986)

    MATH  Google Scholar 

  11. Da Costa, N.C.A.: Logics that are both paraconsistent and paracomplete. Atti. Acc. Lincei. Rend. Fis. 83, 29–32 (1990)

    Google Scholar 

  12. Eytan, M.: Tableaux of Hintikka et Tout ça: un Point de Vue Algebrique. Math. Sci. Humaines 48, 21–27 (1975)

    MathSciNet  Google Scholar 

  13. Halmos, P.R.: Algebraic Logic. Chelsea Publishing Co., New York (1962)

    Google Scholar 

  14. Kleene, S.C.: Introduction to Metamathematics. Van Nostrand, Princeton (1952)

    MATH  Google Scholar 

  15. Mortensen, C.: Every quotient algebra for C1 is trivial. Notre Dame J. of Formal Logic 21, 694–700 (1977)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Graduate Program in Production Engineering, ICET - Paulista University, R. Dr. Bacelar, 1212, CEP 04026-002, São Paulo, SP, Brazil

    Jair Minoro Abe

  2. Institute For Advanced Studies, University of São Paulo, Brazil

    Jair Minoro Abe

  3. School of Human Science and Environment/H.S.E, University of Hyogo, Japan

    Kazumi Nakamatsu

  4. C-Republic, Tokyo, Japan

    Seiki Akama

Authors
  1. Jair Minoro Abe
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kazumi Nakamatsu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Seiki Akama
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Engineering, Cardiff University, The Parade, CF24 3AA, Cardiff, UK

    Rossitza Setchi

  2. Dept. of Computer Science and Software Engineering, University of Portsmouth, BUckingham Building, Lion Terrace, PO1 3HE, Portsmouth, UK

    Ivan Jordanov

  3. KES International, 145-157 St. John Street, EC1V 4PY, London, UK

    Robert J. Howlett

  4. School of Electrical and Information Engineering, University of South Australia, Adelaide, Mawson Lakes Campus, 5095, SA, Australia

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Abe, J.M., Nakamatsu, K., Akama, S. (2010). Monadic Curry System N1*. In: Setchi, R., Jordanov, I., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based and Intelligent Information and Engineering Systems. KES 2010. Lecture Notes in Computer Science(), vol 6278. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15393-8_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15393-8_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15392-1

  • Online ISBN: 978-3-642-15393-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation