Fibered universal algebra for first-order logics (Q6051097)
From MaRDI portal
scientific article; zbMATH DE number 7740043
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fibered universal algebra for first-order logics |
scientific article; zbMATH DE number 7740043 |
Statements
Fibered universal algebra for first-order logics (English)
0 references
19 September 2023
0 references
hyperdoctrine
0 references
prop-category
0 references
categorical logic
0 references
fibred universal algebra
0 references
abstract algebraic logic
0 references
general predicate logic
0 references
generalized quantifiers
0 references
Birkoff theorem
0 references
Blok-Jónsson theorem
0 references
0 references
0 references
