No label defined (Q5173792)
From MaRDI portal
scientific article; zbMATH DE number 6404009
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 6404009 |
Statements
16 February 2015
0 references
combining logics
0 references
fibring
0 references
collapsing problem
0 references
cryptofibring
0 references
soundness
0 references
completeness
0 references
conservativeness
0 references
representability
0 references
institutions
0 references
categories of natural transformations
0 references
closure systems
0 references
abstract algebraic logic
0 references