Deducibility and exactness (Q4383705)
From MaRDI portal
scientific article; zbMATH DE number 1138552
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deducibility and exactness |
scientific article; zbMATH DE number 1138552 |
Statements
Deducibility and exactness (English)
0 references
14 September 1998
0 references
derived relation
0 references
exact part of relation
0 references
relation calculus
0 references
exact square
0 references
canonical preorder of relation
0 references
deducibility
0 references
exactness
0 references
homology
0 references
binary relations
0 references
