No label defined (Q4395570)
From MaRDI portal
scientific article; zbMATH DE number 1163946
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1163946 |
Statements
11 June 1998
0 references
relational quantifiers
0 references
Galois connection
0 references
lattice of logics
0 references
first-order structure
0 references
satisfaction relation
0 references