Relational calculus as a formal system (Q6558048)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Relational calculus as a formal system |
scientific article; zbMATH DE number 7867692
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relational calculus as a formal system |
scientific article; zbMATH DE number 7867692 |
Statements
Relational calculus as a formal system (English)
0 references
18 June 2024
0 references
category theory
0 references
formal system
0 references
relational calculus
0 references
de Morgan-Schröder equivalence
0 references
0 references
0 references