Categorial fibring of logics with terms and binding operators (Q2782494)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Categorial fibring of logics with terms and binding operators |
scientific article; zbMATH DE number 1724421
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Categorial fibring of logics with terms and binding operators |
scientific article; zbMATH DE number 1724421 |
Statements
5 August 2002
0 references
logics with variables, terms and binding operators
0 references
free unconstrained fibring
0 references
coproduct
0 references
constrained fibring
0 references
co-Cartesian lifting
0 references
Hilbert calculi
0 references
interpretation systems
0 references
category of signatures
0 references
0.9327637
0 references
0.89145446
0 references
0.88958514
0 references
0.88424784
0 references
Categorial fibring of logics with terms and binding operators (English)
0 references
