Monadic curry algebras Q tau

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorUniversidade Estadual Paulista (Unesp)-
Autor(es): dc.contributorKawasaki-
Autor(es): dc.contributorUniv Hyogo-
Autor(es): dc.creatorAbe, Jair Minoro [UNESP]-
Autor(es): dc.creatorAkama, Seiki-
Autor(es): dc.creatorNakamatsu, Kazumi-
Autor(es): dc.creatorApolloni, B.-
Autor(es): dc.creatorHowlett, R. J.-
Autor(es): dc.creatorJain, L.-
Data de aceite: dc.date.accessioned2022-02-22T00:03:34Z-
Data de disponibilização: dc.date.available2022-02-22T00:03:34Z-
Data de envio: dc.date.issued2020-12-09-
Data de envio: dc.date.issued2020-12-09-
Data de envio: dc.date.issued2007-01-01-
Fonte completa do material: dc.identifierhttp://hdl.handle.net/11449/194679-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/11449/194679-
Descrição: dc.descriptionIn 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].-
Descrição: dc.descriptionUniv Estadual Paulista, ICET, Grad Program Prod Engn, R Dr Bacelar 1212, BR-04026002 Sao Paulo, Brazil-
Descrição: dc.descriptionKawasaki, Kanagawa, Japan-
Descrição: dc.descriptionUniv Hyogo, Sch Human Sci & Environm HSE, Kobe, Hyogo 6500044, Japan-
Descrição: dc.descriptionUniv Estadual Paulista, ICET, Grad Program Prod Engn, R Dr Bacelar 1212, BR-04026002 Sao Paulo, Brazil-
Formato: dc.format893-900-
Idioma: dc.languageen-
Publicador: dc.publisherSpringer-
Relação: dc.relationKnowledge-based Intelligent Information And Engineering Systems: Kes 2007 - Wirn 2007, Pt Ii, Proceedings-
???dc.source???: dc.sourceWeb of Science-
Palavras-chave: dc.subjectcurry algebras-
Palavras-chave: dc.subjectmonadic algebras-
Palavras-chave: dc.subjectparaconsistent annotated logic-
Palavras-chave: dc.subjectalgebraic logic-
Título: dc.titleMonadic curry algebras Q tau-
Aparece nas coleções:Repositório Institucional - Unesp

Não existem arquivos associados a este item.