Monadic curry algebras Q tau

Bibliographic Details
Main Author: Abe, Jair Minoro [UNESP]
Publication Date: 2007
Other Authors: Akama, Seiki, Nakamatsu, Kazumi, Apolloni, B., Howlett, R. J., Jain, L.
Format: Conference object
Language: eng
Source: Repositório Institucional da UNESP
Download full: http://hdl.handle.net/11449/194679
Summary: 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].
id UNSP_e65b2587b802541240bcbc134fad618a
oai_identifier_str oai:repositorio.unesp.br:11449/194679
network_acronym_str UNSP
network_name_str Repositório Institucional da UNESP
repository_id_str 2946
spelling Monadic curry algebras Q taucurry algebrasmonadic algebrasparaconsistent annotated logicalgebraic logicIn 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].Univ Estadual Paulista, ICET, Grad Program Prod Engn, R Dr Bacelar 1212, BR-04026002 Sao Paulo, BrazilKawasaki, Kanagawa, JapanUniv Hyogo, Sch Human Sci & Environm HSE, Kobe, Hyogo 6500044, JapanUniv Estadual Paulista, ICET, Grad Program Prod Engn, R Dr Bacelar 1212, BR-04026002 Sao Paulo, BrazilSpringerUniversidade Estadual Paulista (Unesp)KawasakiUniv HyogoAbe, Jair Minoro [UNESP]Akama, SeikiNakamatsu, KazumiApolloni, B.Howlett, R. J.Jain, L.2020-12-10T16:34:14Z2020-12-10T16:34:14Z2007-01-01info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/conferenceObject893-900Knowledge-based Intelligent Information And Engineering Systems: Kes 2007 - Wirn 2007, Pt Ii, Proceedings. Berlin: Springer-verlag Berlin, v. 4693, p. 893-900, 2007.0302-9743http://hdl.handle.net/11449/194679WOS:000250338600112Web of Sciencereponame:Repositório Institucional da UNESPinstname:Universidade Estadual Paulista (UNESP)instacron:UNESPengKnowledge-based Intelligent Information And Engineering Systems: Kes 2007 - Wirn 2007, Pt Ii, Proceedingsinfo:eu-repo/semantics/openAccess2021-10-22T20:04:08Zoai:repositorio.unesp.br:11449/194679Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestopendoar:29462021-10-22T20:04:08Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false
dc.title.none.fl_str_mv Monadic curry algebras Q tau
title Monadic curry algebras Q tau
spellingShingle Monadic curry algebras Q tau
Abe, Jair Minoro [UNESP]
curry algebras
monadic algebras
paraconsistent annotated logic
algebraic logic
title_short Monadic curry algebras Q tau
title_full Monadic curry algebras Q tau
title_fullStr Monadic curry algebras Q tau
title_full_unstemmed Monadic curry algebras Q tau
title_sort Monadic curry algebras Q tau
author Abe, Jair Minoro [UNESP]
author_facet Abe, Jair Minoro [UNESP]
Akama, Seiki
Nakamatsu, Kazumi
Apolloni, B.
Howlett, R. J.
Jain, L.
author_role author
author2 Akama, Seiki
Nakamatsu, Kazumi
Apolloni, B.
Howlett, R. J.
Jain, L.
author2_role author
author
author
author
author
dc.contributor.none.fl_str_mv Universidade Estadual Paulista (Unesp)
Kawasaki
Univ Hyogo
dc.contributor.author.fl_str_mv Abe, Jair Minoro [UNESP]
Akama, Seiki
Nakamatsu, Kazumi
Apolloni, B.
Howlett, R. J.
Jain, L.
dc.subject.por.fl_str_mv curry algebras
monadic algebras
paraconsistent annotated logic
algebraic logic
topic curry algebras
monadic algebras
paraconsistent annotated logic
algebraic logic
description 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].
publishDate 2007
dc.date.none.fl_str_mv 2007-01-01
2020-12-10T16:34:14Z
2020-12-10T16:34:14Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/conferenceObject
format conferenceObject
status_str publishedVersion
dc.identifier.uri.fl_str_mv Knowledge-based Intelligent Information And Engineering Systems: Kes 2007 - Wirn 2007, Pt Ii, Proceedings. Berlin: Springer-verlag Berlin, v. 4693, p. 893-900, 2007.
0302-9743
http://hdl.handle.net/11449/194679
WOS:000250338600112
identifier_str_mv Knowledge-based Intelligent Information And Engineering Systems: Kes 2007 - Wirn 2007, Pt Ii, Proceedings. Berlin: Springer-verlag Berlin, v. 4693, p. 893-900, 2007.
0302-9743
WOS:000250338600112
url http://hdl.handle.net/11449/194679
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Knowledge-based Intelligent Information And Engineering Systems: Kes 2007 - Wirn 2007, Pt Ii, Proceedings
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 893-900
dc.publisher.none.fl_str_mv Springer
publisher.none.fl_str_mv Springer
dc.source.none.fl_str_mv Web of Science
reponame:Repositório Institucional da UNESP
instname:Universidade Estadual Paulista (UNESP)
instacron:UNESP
instname_str Universidade Estadual Paulista (UNESP)
instacron_str UNESP
institution UNESP
reponame_str Repositório Institucional da UNESP
collection Repositório Institucional da UNESP
repository.name.fl_str_mv Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)
repository.mail.fl_str_mv
_version_ 1797790116219977728

Similar Items