A classical result on topological semantics of modal logic due to McKinsey and Tarski (often called Tarski theorem) states that the logic S4 is complete with respect to interpretations in R for eachâ€¦ (More)

The classical Tarski theorem on topological semantics of modal logic states that the logic S4 is complete in R for each n. Recently several authors have considered logics of dynamic topologicalâ€¦ (More)

This paper proposes a definition of categorical model of the deep inference system BV, introduced by Guglielmi. Our definition is based on the notion of a linear functor, due to Cockett and Seely. Aâ€¦ (More)

We study the question when a *-autonomous (Mix-)category has a representation as a *-autonomous category of a compact one. We prove that necessary and sufficient condition is that weak distributivityâ€¦ (More)

We study the question when a âˆ—-autonomous Mix-category has a representation as a âˆ—-autonomous Mix-subcategory of a compact one. We define certain partial trace-like operation on morphisms of aâ€¦ (More)

We introduce a category of vector spaces modelling full propositional linear logic, similar to probabilistic coherence spaces and to Koethe sequences spaces. Its objects are rigged sequences spaces,â€¦ (More)

Just as intuitionistic proofs can be modeled by functions, linear logic proofs, being symmetric in the inputs and outputs, can be modeled by relations (for example, cliques in coherence spaces).â€¦ (More)

We propose a model of full propositional linear logic based on topological vector spaces. The essential feature is that we consider partially ordered vector spaces, or, rather, positive cones in suchâ€¦ (More)