Deduction Systems for Coalgebras Over Measurable Spaces (Q3056298)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Deduction Systems for Coalgebras Over Measurable Spaces |
scientific article |
Statements
Deduction Systems for Coalgebras Over Measurable Spaces (English)
0 references
11 November 2010
0 references
deduction systems
0 references
coalgebras
0 references
measurable spaces
0 references
measurable polynomial functors
0 references
Lindenbaum property
0 references
