Towards a uniform presentation of logical systems by indexed categories and adjoint situations (Q5176546)
From MaRDI portal
scientific article; zbMATH DE number 6408990
Language | Label | Description | Also known as |
---|---|---|---|
English | Towards a uniform presentation of logical systems by indexed categories and adjoint situations |
scientific article; zbMATH DE number 6408990 |
Statements
Towards a uniform presentation of logical systems by indexed categories and adjoint situations (English)
0 references
26 February 2015
0 references
general logics
0 references
adjoint situations
0 references
indexed categories
0 references
Galois connections
0 references
co-monads
0 references