scientific article; zbMATH DE number 2134910
From MaRDI portal
Publication:4650576
zbMath1068.03057MaRDI QIDQ4650576
Richard F. Blute, Philip J. Scott
Publication date: 18 February 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to category theory (18-01)
Related Items (15)
Partial traces on additive categories ⋮ Coherence in SMCCs and equivalences on derivations in IMML with unit ⋮ Unnamed Item ⋮ Some properties of coalgebras and their rôle in computer science ⋮ A comparison between monoidal and substructural logics ⋮ A survey of categorical properties of \(\mathbb{L}\)-fuzzy relations ⋮ Unnamed Item ⋮ Linear logic in computer science ⋮ Toward foundations of near sets: (pre-)sheaf theoretic approach ⋮ Unnamed Item ⋮ The categorical imperative: category theory as a foundation for deontic logic ⋮ Machine semantics ⋮ Coherence in linear predicate logic ⋮ A Certified Study of a Reversible Programming Language ⋮ Contrary-to-duty reasoning: a categorical approach
This page was built for publication:
