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
Removed claim: author (P16): Item:Q938240 |
Set OpenAlex properties. |
||
| (3 intermediate revisions by 3 users not shown) | |||
| Property / author | |||
| Property / author: Steven Awodey / rank | |||
Normal rank | |||
| Property / describes a project that uses | |||
| Property / describes a project that uses: CCSL / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1017/s0960129502003894 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1919037109 / rank | |||
Normal rank | |||
Latest revision as of 09:16, 30 July 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
