Term algebras of elementarily equivalent atom structures (Q1991592)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Term algebras of elementarily equivalent atom structures |
scientific article |
Statements
Term algebras of elementarily equivalent atom structures (English)
0 references
30 October 2018
0 references
atom structure
0 references
complex algebra
0 references
relation algebra
0 references
completely representable relation algebra
0 references
Boolean algebra with operators
0 references
Kripke structure
0 references
modal logic
0 references
