scientific article; zbMATH DE number 1499095

zbMATH Open0947.03082MaRDI QIDQ4501149FDOQ4501149

Authors: Bart Jacobs 

Publication date: 3 September 2000

Title of this publication is not available (Why is that?)

Recommendations

• Cofree coalgebras and differential linear logic
• On the structure of categories of coalgebras
• From modal logic to terminal coalgebras
• scientific article; zbMATH DE number 1231631
• On a categorical framework for coalgebraic modal logic

zbMATH Keywords

categorical semanticslinear logiccontinuous posetscategories of coalgebrascanonical comonad

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30)

Cited In (5)

• On \(\mathbf{MV} \)-coalgebras over the category of BL-algebras
• Simulations in coalgebra
• Bases as coalgebras
• Linear types and approximation
• Approximation of nested fixpoints -- a coalgebraic view of parametric dataypes

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4501149)