scientific article; zbMATH DE number 4122189
From MaRDI portal
Publication:4735315
zbMath0685.18003MaRDI QIDQ4735315
No author found.
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
intuitionistic propositional calculuscartesian closed categorymulticategoriesmonoidal closed categoriesdeductive calculianalysis of sentence structure in natural languages
Theory of compilers and interpreters (68N20) Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40) Foundations, relations to logic and deductive systems (18A15)
Related Items (23)
\(*\)-autonomous categories of bimodules ⋮ Proof of a S.Mac Lane conjecture (extended abstract) ⋮ A mathematical theory of resources ⋮ Graphs of plural cuts ⋮ Graded multicategories of polynomial-time realizers ⋮ Glueing and orthogonality for models of linear logic ⋮ Monoidal categories with natural numbers object ⋮ Lawvere theories, finitary monads and Cauchy-completion ⋮ Linear logic, coherence and dinaturality ⋮ On weak higher-dimensional categories. I. 2 ⋮ A note on natural numbers objects in monoidal categories ⋮ Representable multicategories ⋮ Multiplicative Linear Logics and Fibrations ⋮ Unnamed Item ⋮ List Objects with Algebraic Structure ⋮ Unnamed Item ⋮ On weak higher dimensional categories. I: Part 1 ⋮ Aspects of Categorical Recursion Theory ⋮ The Sequent Calculus of Skew Monoidal Categories ⋮ The structure of free closed categories ⋮ An abstract framework for environment machines ⋮ Full intuitionistic linear logic ⋮ Metric, topology and multicategory -- a common approach
This page was built for publication:
