Deductive systems and categories
From MaRDI portal
Publication:5566549
DOI10.1007/BF01703261zbMath0176.28901MaRDI QIDQ5566549
Publication date: 1968
Published in: Mathematical Systems Theory (Search for Journal in Brave)
Related Items
Generality of proofs and its Brauerian representation, On the structure of varieties with equationally definable principal congruences. III, Coherence in SMCCs and equivalences on derivations in IMML with unit, Logic in Category Theory, Coherence via focusing for symmetric skew monoidal categories, The linear abstract machine, Lambek's categorical proof theory and Läuchli's abstract realizability, On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory, Proof of a conjecture of S. Mac Lane, Deduction as reduction, from a categorical point of view, 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, A comparison between monoidal and substructural logics, The Deduction Theorem (Before and After Herbrand), G-dinaturality., On categorical equivalence of Gentzen-style derivations in IMLL, Closed categories generated by commutative monads, Closed categories and the theory of proofs, Monoidal indeterminates and categories of possible worlds, Coherence for closed categories with biproducts, Categorial Grammars and Their Logics, Struktursätze der Algebra und Kompliziertheit logischer Schemata. III Algebraische Theorien und Verallgemeinerungen, Monoidal logics: completeness and classical systems, Reductions in Intuitionistic Linear Logic, The categorical imperative: category theory as a foundation for deontic logic, Categorical interpretation of logical derivations and its applications in algebra, Modules over discrete valuation domains. III, Topology and logic as a source of algebra, Modules over discrete valuation domains. I, Identity of Proofs Based on Normalization and Generality, Abstract Tensor Systems as Monoidal Categories, Polycategories, The proof monad, Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions, On natural transformations of distinguished functors and their superpositions in certain closed categories, Languages for monoidal categories, The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem, Categories, Modules over discrete valuation domains. II, Unnamed Item, When are Two Algorithms the Same?, Coherence in Cartesian closed categories and the generality of proofs, From Petri nets to linear logic, A Curry–Howard View of Basic Justification Logic, Coherence in closed categories, On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication, Unnamed Item, Possible worlds and resources: The semantics of \(\mathbf{BI}\), From Parity Games to Circular Proofs, Unnamed Item, The category of finite sets and Cartesian closed categories, Coherence in Nonmonoidal Closed Categories, An interpretation of classical proofs, Contrary-to-duty reasoning: a categorical approach, Extensions of Lambek Calculi, The Mathematics of Text Structure, Aspects of Categorical Recursion Theory, The Sequent Calculus of Skew Monoidal Categories, The structure of free closed categories, The Pentus theorem for Lambek calculus with simple nonlogical axioms
Cites Work
