1993/09/15 by Andreas Blass, Blass, Andreas · 1 citation
Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #math.LO #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.math/9309208
openalex publication_date 1993/09/15 · arxiv created 1993/09/16 · arxiv updated 2009/11/30 · openalex created_date 2022/09/01 · openalex updated_date 2026/07/28
A category used by de Paiva to model linear logic also occurs in Vojtas's analysis of cardinal characteristics of the continuum. Its morphisms have been used in describing reductions between search problems in complexity theory. We describe this category and how it arises in these various contexts. We also show how these contexts suggest certain new multiplicative connectives for linear logic. Perhaps the most interesting of these is a sequential composition suggested by the set-theoretic application.