A logic of implications in algebra and coalgebra (Q1047097): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 03:01, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A logic of implications in algebra and coalgebra |
scientific article |
Statements
A logic of implications in algebra and coalgebra (English)
0 references
4 January 2010
0 references
This paper rephrases previous work by Rosu that develops a sound and complete calculus for abstract logics in which models are objects in abstract categories, sentences are epimorphisms in the respective categories, and satisfaction is given by (categorical) injectivity. Both Birkhoff calculus for conditional equations in universal algebra and Gumm calculus for coalgebra appear as instances of the abstract calculus developed here. However important potential applications are not discussed, most notably in the area of partial algebra, which may rise doubts about the real value of this work.
0 references
logic of injectivity
0 references
logic of implications
0 references
algebras
0 references
coalgebras
0 references
coalgebraic implications
0 references
Birkhoff calculus
0 references
Gumm calculus
0 references