scientific article
From MaRDI portal
Publication:3827993
zbMath0674.03007MaRDI QIDQ3827993
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Related Items (77)
Multiple Conclusion Linear Logic: Cut Elimination and More ⋮ Linear domains and linear maps ⋮ Holomorphic models of exponential types in linear logic ⋮ A syntax for linear logic ⋮ Semantics of weakening and contraction ⋮ Constant-only multiplicative linear logic is NP-complete ⋮ \(*\)-autonomous categories of bimodules ⋮ Accessible categories and models of linear logic ⋮ Semantics of higher-order quantum computation via geometry of interaction ⋮ Linear logic in normed cones: probabilistic coherence spaces and beyond ⋮ Girard quantaloids ⋮ Coalgebras, Chu spaces, and representations of physical systems ⋮ Unnamed Item ⋮ Linear Läuchli semantics ⋮ Execution time of λ-terms via denotational semantics and intersection types ⋮ An explicit formula for the free exponential modality of linear logic ⋮ Natural deduction and coherence for weakly distributive categories ⋮ Big toy models. Representing physical systems as Chu spaces ⋮ From petri nets to linear logic ⋮ Modeling linear logic with implicit functions ⋮ Stable bistructure models of PCF ⋮ A comparison between monoidal and substructural logics ⋮ May I borrow your logic? (Transporting logical structures along maps) ⋮ A general adequacy result for a linear functional language ⋮ A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations ⋮ Continuous functions and parallel algorithms on concrete data structures ⋮ A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces ⋮ Quantum-like logics and schizophrenia ⋮ Unnamed Item ⋮ On Banach spaces of sequences and free linear logic exponential modality ⋮ Unnamed Item ⋮ Deep inference and probabilistic coherence spaces ⋮ Variations on mobile processes ⋮ The categorical imperative: category theory as a foundation for deontic logic ⋮ Domain theory for concurrency ⋮ A graphical foundation for interleaving in game semantics ⋮ Bistructures, bidomains and linear logic ⋮ A linear/producer/consumer model of classical linear logic ⋮ Quantitative domains and infinitary algebras ⋮ Quasi-prime algebraic domains ⋮ Nonsymmetric \(^{\ast}\)-autonomous categories ⋮ Weakly distributive categories ⋮ Unnamed Item ⋮ Conditional rewriting logic as a unified model of concurrency ⋮ Equational theories for inductive types ⋮ Categories for computation in context and unified logic ⋮ The logic of structures ⋮ Tail recursion through universal invariants ⋮ Linear logic, coherence and dinaturality ⋮ Towards Hilbert's 24th Problem: Combinatorial Proof Invariants ⋮ Relating State-Based and Process-Based Concurrency through Linear Logic ⋮ Coherence for modalities ⋮ Revising the link between \(L\)-Chu correspondences and completely lattice \(L\)-ordered sets. ⋮ Presheaf Models of Quantum Computation: An Outline ⋮ The proof monad ⋮ Unnamed Item ⋮ Interaction graphs: multiplicatives ⋮ Coherence for star-autonomous categories ⋮ Unnamed Item ⋮ Proof theory in the abstract ⋮ The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem ⋮ Call-By-Push-Value from a Linear Logic Point of View ⋮ Unnamed Item ⋮ Coherence in linear predicate logic ⋮ On sheaf cohomology and natural expansions ⋮ A Classical Propositional Logic for Reasoning About Reversible Logic Circuits ⋮ Differential categories revisited ⋮ Notions of computation and monads ⋮ Unnamed Item ⋮ Realizability models for BLL-like languages ⋮ \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic ⋮ Contrary-to-duty reasoning: a categorical approach ⋮ The Mathematics of Text Structure ⋮ An abstract approach to stratification in linear logic ⋮ FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION ⋮ Full intuitionistic linear logic ⋮ An internal language for autonomous categories
This page was built for publication:
