2 Search Results for "Balan, Adriana"

Document

Invited Talk

DOI: 10.4230/LIPIcs.CALCO.2025.2

Logic Enriched over a Quantale (Invited Talk)

Authors: Alexander Kurz

Published in: LIPIcs, Volume 342, 11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025)

Abstract

Many-valued logics have a long history in mathematical logic as well as in applications to the semantics of programming languages and to engineering more generally. Typically these logics are rich with features motivated by the particular applications they stem from. In his 1973 article "Metric Spaces, Generalized Logic, and Closed Categories", Lawvere argued that any quantale Ω gives rise to a generalized Ω-valued logic that has as its models the categories enriched over the quantale. This suggests developing a uniform framework for many-valued logics parameterized in a quantale. In this talk we will review some previous and ongoing work in that direction. In particular, we will address (not necessarily answer) the following questions. - If we take as our starting point, generalizing from 2-valued lattice logic, a logical language that comprises not only meets and joins (limits and colimits) but also tensor and power (weighted limits and colimits), what laws do these operations satisfy? - This question can be investigated for different types of semantics, generalizing the set-theoretic and the polarity-based semantics known from the 2-valued setting. - Which additional properties obtain if the quantale is integral or commutative or finite or distributive, etc? - On the other hand, quantale logics can also be investigated from a purely proof theoretic point of view, leading us to consider sequent calculi with turnstiles ⊢_ω labelled by elements ω ∈ Ω. - As Galatos and Jipsen showed, there are 1662 "Residuated Lattices of Size up to 6". Each of them generates a different and potentially interesting logic. - The adjunction Ω^-⊣ Ω^-:Ω-cat^op → Ω-cat exists for any quantale Ω. What is the logic enshrined in the monad of that adjunction? How far can one extend this to a theory of Stone duality for quantale logics parametric in the quantale? - The Dedekind-MacNeille completion generalizes to quantale categories. Similarly, the theory of canonical extensions originating with Jonsson and Tarski (and important for completeness proofs of modal logics) can be extended to quantale logics. - Since the discrete functor Set → Ω-cat is dense in the sense of Kelly, set-functors (equipped with an Ω-cat structure or not) can be extended to quantale categories via enriched left Kan extensions. This gives rise to a uniform variety of type constructors (endofunctors) on quantale categories parameterised by the quantale. - Each endofunctor on Ω-cat gives rise to a category of coalgebras with their own notion of behavioural equivalence. How many of the existing notions of many-valued (probabilistic, metric, fuzzy, etc) bisimulation can be accounted for in this uniform framework? - Morphism between quantales gives rise to change-of-base principles between categories of (co)algebras. Which transfer principles can be obtained from a systematic investigation of change of base for quantale categories? - Exploiting the duality of coalgebras (as models of computation) and algebras (as modal logics), which general logical theory of computation arises from putting the items in this list together?

Cite as

Alexander Kurz. Logic Enriched over a Quantale (Invited Talk). In 11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 342, p. 2:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@InProceedings{kurz:LIPIcs.CALCO.2025.2,
  author =	{Kurz, Alexander},
  title =	{{Logic Enriched over a Quantale}},
  booktitle =	{11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025)},
  pages =	{2:1--2:1},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-383-6},
  ISSN =	{1868-8969},
  year =	{2025},
  volume =	{342},
  editor =	{C\^{i}rstea, Corina and Knapp, Alexander},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2025.2},
  URN =		{urn:nbn:de:0030-drops-235609},
  doi =		{10.4230/LIPIcs.CALCO.2025.2},
  annote =	{Keywords: Modal Logic, Coalgebra, Enriched Category Theory}
}

Document

DOI: 10.4230/LIPIcs.CALCO.2015.17

Extensions of Functors From Set to V-cat

Authors: Adriana Balan, Alexander Kurz, and Jiri Velebil

Published in: LIPIcs, Volume 35, 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)

Abstract

We show that for a commutative quantale V every functor from Set to V-cat has an enriched left-Kan extension. As a consequence, coalgebras over Set are subsumed by coalgebras over V-cat. Moreover, one can build functors on V-cat by equipping Set-functors with a metric.

Cite as

Adriana Balan, Alexander Kurz, and Jiri Velebil. Extensions of Functors From Set to V-cat. In 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 35, pp. 17-34, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@InProceedings{balan_et_al:LIPIcs.CALCO.2015.17,
  author =	{Balan, Adriana and Kurz, Alexander and Velebil, Jiri},
  title =	{{Extensions of Functors From Set to V-cat}},
  booktitle =	{6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)},
  pages =	{17--34},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-84-2},
  ISSN =	{1868-8969},
  year =	{2015},
  volume =	{35},
  editor =	{Moss, Lawrence S. and Sobocinski, Pawel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.17},
  URN =		{urn:nbn:de:0030-drops-55244},
  doi =		{10.4230/LIPIcs.CALCO.2015.17},
  annote =	{Keywords: enriched category, quantale, final coalgebra}
}

Refine by Type
2 Document/PDF
1 Document/HTML

Refine by Publication Year
1 2025
1 2015

Refine by Author
2 Kurz, Alexander
1 Balan, Adriana
1 Velebil, Jiri

Refine by Series/Journal
2 LIPIcs

Refine by Classification
1 Theory of computation

Refine by Keyword
1 Coalgebra
1 Enriched Category Theory
1 Modal Logic
1 enriched category
1 final coalgebra
Show More...

2 Search Results for "Balan, Adriana"

Logic Enriched over a Quantale (Invited Talk)

Abstract

Cite as

Extensions of Functors From Set to V-cat

Abstract

Cite as

Thanks for your feedback!

Could not send message