In this paper various semantics in the linear time-branching time spectrum are presented in
a uniform, model-independent way. Restricted to the class of finitely branching, concrete …

Induction is a pervasive tool in computer science and mathematics for defining objects and
reasoning on them. Coinduction is the dual of induction and as such it brings in quite …

Publisher Summary This chapter introduces the basic notions in theory of quantales. It
describes the aspects of algebraic and categorical properties of quantales and quantale …

This survey paper, specifically targeted at a readership of fuzzy logicians and fuzzy set
theorists, aims to provide a gentle introduction to the basic notions of quantaloid-enriched …

We present a game semantics for Linear Logic, in which formulas denote games and proofs
denote winning strategies. We show that our semantics yields a categorical model of Linear …

Linear logic, introduced by Girard, is a refinement of classical logic with a natural, intrinsic
accounting of resources. This accounting is made possible by removing the 'structural'rules …

Abstract Structural Operational Semantics (SOS) provides a framework to give an
operational semantics to programming and specification languages, which, because of its …

This book is an invitation to discover advanced topics in category theory through concrete,
real-world examples. It aims to give a tour: a gentle, quick introduction to guide later …

This is a graduate-level text for a first course in propositional modal logic. It is written from
the semantical point of view rather than the more usual proof theoretic approach, and the …

Our subject is that of categories, functors and distributors enriched in a base quantaloid Q.
We show how cocomplete Q-categories are precisely those which are tensored and …