Relational calculus as a formal system

DOI10.5109/7170241MaRDI QIDQ6558048

Yasuo Kawahara, Yoshihiro Mizoguchi, Toshikazu Ishida, Hitoshi Furusawa

Publication date: 18 June 2024

Published in: Bulletin of Informatics and Cybernetics (Search for Journal in Brave)

zbMATH Keywords

formal systemcategory theoryrelational calculusde Morgan-Schröder equivalence

Mathematics Subject Classification ID

Statistics (62-XX) Computer science (68-XX)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Relational graph rewritings
• Vorlesungen über die Algebra der Logik. III. Band. Algebra und Logik der Relative. Erste Abteilung.
• Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 -- October 2, 2010. Proceedings
• On the calculus of relations.
• The representation of relational algebras
• Continuous Relations and Richardson’s Theorem
• Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules
• Computer-Supported Exploration of a Categorical Axiomatization of Modeloids

This page was built for publication: Relational calculus as a formal system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6558048)