Monadic curry algebras Q tau
| dc.contributor.author | Abe, Jair Minoro [UNESP] | |
| dc.contributor.author | Akama, Seiki | |
| dc.contributor.author | Nakamatsu, Kazumi | |
| dc.contributor.author | Apolloni, B. | |
| dc.contributor.author | Howlett, R. J. | |
| dc.contributor.author | Jain, L. | |
| dc.contributor.institution | Universidade Estadual Paulista (Unesp) | |
| dc.contributor.institution | Kawasaki | |
| dc.contributor.institution | Univ Hyogo | |
| dc.date.accessioned | 2020-12-10T16:34:14Z | |
| dc.date.available | 2020-12-10T16:34:14Z | |
| dc.date.issued | 2007-01-01 | |
| dc.description.abstract | In this paper we present an algebraic version of the annotated predicate logics Q tau [1] by using the concept of Curry Algebras [5]. The algebraic structure obtained is called Curry Algebras Q tau. We study some basic properties of these algebras. The main ideas involved lean heavily on the works by P. Halmos and N.C.A. Da Costa [9], [5]. | en |
| dc.description.affiliation | Univ Estadual Paulista, ICET, Grad Program Prod Engn, R Dr Bacelar 1212, BR-04026002 Sao Paulo, Brazil | |
| dc.description.affiliation | Kawasaki, Kanagawa, Japan | |
| dc.description.affiliation | Univ Hyogo, Sch Human Sci & Environm HSE, Kobe, Hyogo 6500044, Japan | |
| dc.description.affiliationUnesp | Univ Estadual Paulista, ICET, Grad Program Prod Engn, R Dr Bacelar 1212, BR-04026002 Sao Paulo, Brazil | |
| dc.format.extent | 893-900 | |
| dc.identifier.citation | Knowledge-based Intelligent Information And Engineering Systems: Kes 2007 - Wirn 2007, Pt Ii, Proceedings. Berlin: Springer-verlag Berlin, v. 4693, p. 893-900, 2007. | |
| dc.identifier.issn | 0302-9743 | |
| dc.identifier.uri | http://hdl.handle.net/11449/194679 | |
| dc.identifier.wos | WOS:000250338600112 | |
| dc.language.iso | eng | |
| dc.publisher | Springer | |
| dc.relation.ispartof | Knowledge-based Intelligent Information And Engineering Systems: Kes 2007 - Wirn 2007, Pt Ii, Proceedings | |
| dc.source | Web of Science | |
| dc.subject | curry algebras | |
| dc.subject | monadic algebras | |
| dc.subject | paraconsistent annotated logic | |
| dc.subject | algebraic logic | |
| dc.title | Monadic curry algebras Q tau | en |
| dc.type | Trabalho apresentado em evento | |
| dcterms.license | http://www.springer.com/open+access/authors+rights?SGWID=0-176704-12-683201-0 | |
| dcterms.rightsHolder | Springer | |
| unesp.author.orcid | 0000-0003-2088-9065[1] |