Abstract
This paper is a sequel to [4]. We present an algebraic version of the monadic system P1* [8] by using the concept of Curry Algebra [5]. The algebraic structure obtained is called Monadic Curry Algebra P1*, which is a kind of ‘dual’ algebra studied in [4].
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Abe, J.M.: Curry algebras Pt. Logique et Analyse, 161–163, 5–15 (1998)
Abe, J.M.: Curry Algebras N1. Atti Acc. Lincei Rend. Fis. 7(9), 125–128 (1996)
Abe, J.M., Akama, S., Nakamatsu, K.: Monadic Curry Algebras Qt. In: Apolloni, B., Howlett, R.J., Jain, L. (eds.) KES 2007, Part II. LNCS, vol. 4693, pp. 893–900. Springer, Heidelberg (2007)
Abe, J.M., Nakamatsu, K., Akama, S.: An Algebraic Version of the Monadic System C1. To appear in the First KES International Symposium on Intelligent Decision Technologies (IDT 2009), Japan (2009)
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, vol. 20, 132 p. (1995)
Curry, H.B.: Foundations of Mathematical Logic. Dover, New York (1977)
Da Costa, N.C.A.: On the theory of inconsistent formal systems. Notre Dame J. of Formal Logic 15, 497–510 (1974)
Da Costa, N.C.A., Marconi, D.: A note on paracomplete logic. Atti Acc. Lincei Rend. Fis. 80(8), 504–509 (1986)
Eytan, M.: Tableaux of Hintikka et Tout ça: un Point de Vue Algebrique. Math. Sci. Humaines 48, 21–27 (1975)
Halmos, P.R.: Algebraic Logic. Chelsea Publishing Co., New York (1962)
Kleene, S.C.: Introduction to Metamathematics. Van Nostrand, Princeton (1952)
Mortensen, C.: Every quotient algebra for C1 is trivial. Notre Dame J. of Formal Logic 21, 694–700 (1977)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abe, J.M., Nakamatsu, K., de Carvalho, F.R. (2009). A Note on Monadic Curry System P1 . In: Velásquez, J.D., Ríos, S.A., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based and Intelligent Information and Engineering Systems. KES 2009. Lecture Notes in Computer Science(), vol 5712. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04592-9_49
Download citation
DOI: https://doi.org/10.1007/978-3-642-04592-9_49
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04591-2
Online ISBN: 978-3-642-04592-9
eBook Packages: Computer ScienceComputer Science (R0)