Beth Definability in the Logic KR (Q5027235)
From MaRDI portal
scientific article; zbMATH DE number 7469208
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Beth Definability in the Logic KR |
scientific article; zbMATH DE number 7469208 |
Statements
Beth Definability in the Logic KR (English)
0 references
4 February 2022
0 references
Beth definability
0 references
relevant logic
0 references
epimorphism
0 references
Boolean monoid
0 references
relation algebra
0 references
