Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction of Dana Scott. (Q4408806): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: author (P16): Item:Q938240 |
||
| Property / author | |||
| Property / author: Steven Awodey / rank | |||
Revision as of 15:58, 21 February 2024
scientific article; zbMATH DE number 1941746
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction of Dana Scott. |
scientific article; zbMATH DE number 1941746 |
Statements
Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction of Dana Scott. (English)
0 references
2003
0 references
coalgebras
0 references
covarieties
0 references
completeness theorem
0 references
