✦ LIBER ✦

A logic of implications in algebra and coalgebra

✍ Scribed by Jiří Adámek; Manuela Sobral; Lurdes Sousa

Publisher: Springer
Year: 2009
Tongue: English
Weight: 316 KB
Volume: 61
Category: Article
ISSN: 0002-5240
DOI: 10.1007/s00012-009-0009-z

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Implication and the Algebra of Logic

✍ Lewis, C I 📂 Fiction 📅 0 🌐 English ⚖ 364 KB

(Ω, Ξ)-Logic: On the Algebraic Extension

(Ω, Ξ)-Logic: On the Algebraic Extension of Coalgebraic Specifications

✍ Rolf Hennicker; Alexander Kurz 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 204 KB

Quantum Geometry of Algebra Factorisatio

Quantum Geometry of Algebra Factorisations¶and Coalgebra Bundles

✍ T. Brzeziński; S. Majid 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 231 KB

Forms of Coalgebras and Hopf Algebras

✍ Darren B. Parker 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 237 KB

We study forms of coalgebras and Hopf algebras i.e., coalgebras and Hopf . algebras which are isomorphic after a suitable extension of the base field . We classify all forms of grouplike coalgebras according to the structure of their simple subcoalgebras. For Hopf algebras, given a W \*-Galois field

On Expressivity and Compositionality in

On Expressivity and Compositionality in Logics for Coalgebras

✍ Corina Cîrstea 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 242 KB

The Cohomology Structure of an Algebra E

The Cohomology Structure of an Algebra Entwined with a Coalgebra

✍ Tomasz Brzeziński 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 197 KB