Model theory and proof theory of coalgebraic predicate logic (Q4637694)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6864545
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Model theory and proof theory of coalgebraic predicate logic |
scientific article; zbMATH DE number 6864545 |
Statements
25 April 2018
0 references
coalgebraic predicate logic
0 references
coalgebraic model theory
0 references
coalgebraic proof theory
0 references
0.9429335594177246
0 references
0.8590030670166016
0 references
0.8010865449905396
0 references
0.7903161644935608
0 references
0.7891373634338379
0 references
