RELATIONAL CALCULUS AS A FORMAL SYSTEM - Collections | Kyushu University Library

Back to Results List

＜journal article＞
RELATIONAL CALCULUS AS A FORMAL SYSTEM

Creator	Author PID 00357930 Creator Name Furusawa, Hitoshi 古澤, 仁フルサワ, ヒトシ Affiliation Affiliation Name Department of Science, Kagoshima University 鹿児島大学
	Creator Name Ishida, Toshikazu 石田, 俊一イシダ, トシカズ Affiliation Affiliation Name Department of Information Science, Kyushusangyou University 九州産業大学
	Author PID 90091181 Creator Name Kawahara, Yasuo 河原, 康雄カワハラ, ヤスオ Affiliation Affiliation Name Kyushu University : Professor Emeritus 九州大学 : 名誉教授
	Author PID K002201 80209783 Creator Name Mizoguchi, Yoshihiro 溝口, 佳寛ミゾグチ, ヨシヒロ Affiliation Affiliation Name Institute of Mathematics for Industry, Kyushu University 九州大学マス・フォア・インダストリ研究所
Language	English
Publisher	Research Association of Statistical Sciences
Publisher	統計科学研究会
Date	2024
Source Title	Bulletin of informatics and cybernetics
Vol	56
Issue	2
First Page	1
Last Page	22
Publication Type	Version of Record
Access Rights	open access
Crossref DOI	https://doi.org/10.5109/7170241
Abstract	In model theory, function symbols for formal systems are usually assumed to be totally defined. This paper reports that category theory is defined and discussed as a formal system with partial operati...ons in first order predicate logic. We also review a formal definition of relational calculus with a local boolean structure and satisfying de Morgan-Schröder equivalences.show more

Hide fulltext details.

File	FileType	Size	Views	Description
BIC-56-2	pdf	119 KB	86

Details

PISSN	0286-522X
EISSN	2435-743X
NCID	AA10634475
Record ID	7170241
Peer-Reviewed	Refereed
Subject Terms	Category theory
	Formal system
	Relational calculus
	de Morgan-Schröder equivalence
Created Date	2024.03.13
Modified Date	2024.03.13