scientific article; zbMATH DE number 3385865
From MaRDI portal
Publication:5655525
zbMath0244.18006MaRDI QIDQ5655525
Publication date: 1972
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Intuitionistic mathematics (03F55) Combinatory logic and lambda calculus (03B40) Intermediate logics (03B55) Foundations, relations to logic and deductive systems (18A15)
Related Items (13)
Unnamed Item ⋮ Coherence in SMCCs and equivalences on derivations in IMML with unit ⋮ From petri nets to linear logic ⋮ The Deduction Theorem (Before and After Herbrand) ⋮ Closed categories and the theory of proofs ⋮ Monoidal indeterminates and categories of possible worlds ⋮ Unnamed Item ⋮ Categorical interpretation of logical derivations and its applications in algebra ⋮ Coalgebras and cartesian categories ⋮ REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS ⋮ Categories ⋮ Unnamed Item ⋮ Aspects of Categorical Recursion Theory
This page was built for publication:
