scientific article; zbMATH DE number 3316072
From MaRDI portal
Publication:5595187
zbMath0198.33701MaRDI QIDQ5595187
Publication date: 1969
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (97)
Bifibrations of polycategories and classical linear logic ⋮ Coherence in SMCCs and equivalences on derivations in IMML with unit ⋮ Unnamed Item ⋮ On pseudo-bialgebras ⋮ Proof of a S.Mac Lane conjecture (extended abstract) ⋮ On the equivalence between Lurie's model and the dendroidal model for infinity-operads ⋮ Skew monoidal categories and skew multicategories ⋮ An algebraic structure for derivations in rewriting systems ⋮ Quantale-Enriched Multicategories Via Actions ⋮ Proof of a conjecture of S. Mac Lane ⋮ The comprehensive factorization of Burroni's T-functors ⋮ Natural deduction and coherence for weakly distributive categories ⋮ Injective hulls of quantale-enriched multicategories ⋮ Trivalent logics arising from L-models for the Lambek calculus with constants ⋮ Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective ⋮ Graded multicategories of polynomial-time realizers ⋮ From petri nets to linear logic ⋮ An embedding theorem for tangent categories ⋮ Language models for some extensions of the Lambek calculus ⋮ A comparison between monoidal and substructural logics ⋮ Triples on functor categories ⋮ Unnamed Item ⋮ A skew approach to enrichment for Gray-categories ⋮ The Deduction Theorem (Before and After Herbrand) ⋮ KHOVANOV SPECTRA FOR TANGLES ⋮ G-dinaturality. ⋮ On categorical equivalence of Gentzen-style derivations in IMLL ⋮ LNL polycategories and doctrines of linear logic ⋮ Associative algebras related to conformal algebras. ⋮ Commutativity ⋮ Closed categories and the theory of proofs ⋮ Monoidal indeterminates and categories of possible worlds ⋮ Polycategories via pseudo-distributive laws ⋮ Relational Models for the Lambek Calculus with Intersection and Constants ⋮ Relational models for the Lambek calculus with intersection and unit ⋮ Pre-recursive categories ⋮ A restricted fragment of the Lambek calculus with iteration and intersection operations ⋮ Monoidal logics: completeness and classical systems ⋮ The logic of message-passing ⋮ Commutative Semantics for Probabilistic Programming ⋮ The categorical imperative: category theory as a foundation for deontic logic ⋮ Unnamed Item ⋮ Categorical interpretation of logical derivations and its applications in algebra ⋮ How strict is strictification? ⋮ Gröbner-Shirshov bases, conformal algebras, and pseudo-algebras. ⋮ Polynomial functors and polynomial monads ⋮ An Isbell duality theorem for type refinement systems ⋮ Conditional rewriting logic as a unified model of concurrency ⋮ Linear logic, coherence and dinaturality ⋮ Abstract Tensor Systems as Monoidal Categories ⋮ Coherence for modalities ⋮ On weak higher-dimensional categories. I. 2 ⋮ Gröbner–Shirshov bases and their calculation ⋮ An abstract characterization of Thompson's group \(F\). ⋮ Skew structures in 2-category theory and homotopy theory ⋮ Unnamed Item ⋮ Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions ⋮ Irreducible modules over finite simple Lie pseudoalgebras. I: Primitive pseudoalgebras of type \(W\) and \(S\). ⋮ Operads and PROPs ⋮ -algebras, -categories and -functors ⋮ Prelogic of logoi ⋮ Theory of finite pseudoalgebras ⋮ On natural transformations of distinguished functors and their superpositions in certain closed categories ⋮ Rings, modules, and algebras in infinite loop space theory ⋮ Languages for monoidal categories ⋮ Quantifier-complete categories ⋮ Unnamed Item ⋮ Generalized enrichment of categories ⋮ Relaxed multicategory structure of a global category of rings and modules ⋮ The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem ⋮ Unnamed Item ⋮ Coherence in linear predicate logic ⋮ Dynamical systems and sheaves ⋮ Coherence in Cartesian closed categories and the generality of proofs ⋮ Feynman Graphs, and Nerve Theorem for Compact Symmetric Multicategories (Extended Abstract) ⋮ Coherence in closed categories ⋮ Complexity of Lambek calculi with modalities and of total derivability in grammars ⋮ Representable multicategories ⋮ Subexponentials in non-commutative linear logic ⋮ A monadic approach to polycategories ⋮ Multiplicative Linear Logics and Fibrations ⋮ Unnamed Item ⋮ Equality of morphism and coherence theorem for biclosed categories ⋮ Permutative categories, multicategories and algebraic \(K\)-theory ⋮ Unnamed Item ⋮ Cofibrantly generated lax orthogonal factorisation systems ⋮ On weak higher dimensional categories. I: Part 1 ⋮ Simple associative conformal algebras of linear growth ⋮ Homotopical Categories of Logics ⋮ Contrary-to-duty reasoning: a categorical approach ⋮ The Mathematics of Text Structure ⋮ Aspects of Categorical Recursion Theory ⋮ The Sequent Calculus of Skew Monoidal Categories ⋮ The structure of free closed categories ⋮ An abstract framework for environment machines ⋮ COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR ⋮ Abstract substitution in enriched categories
This page was built for publication:
