The following pages link to Deductive systems and categories (Q5566549):
Displaying 50 items.
- Deduction as reduction, from a categorical point of view (Q382412) (← links)
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- On natural transformations of distinguished functors and their superpositions in certain closed categories (Q579398) (← links)
- Languages for monoidal categories (Q584380) (← links)
- Coherence in Cartesian closed categories and the generality of proofs (Q750442) (← links)
- The structure of free closed categories (Q803265) (← links)
- The Pentus theorem for Lambek calculus with simple nonlogical axioms (Q817678) (← links)
- Modules over discrete valuation domains. I (Q941936) (← links)
- The proof monad (Q974136) (← links)
- An interpretation of classical proofs (Q1050333) (← links)
- The linear abstract machine (Q1105351) (← links)
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- Closed categories and the theory of proofs (Q1147133) (← links)
- Categories (Q1255566) (← links)
- On the structure of varieties with equationally definable principal congruences. III (Q1342132) (← links)
- Proof of a conjecture of S. Mac Lane (Q1377606) (← links)
- G-dinaturality. (Q1400601) (← links)
- On categorical equivalence of Gentzen-style derivations in IMLL (Q1401367) (← links)
- Possible worlds and resources: The semantics of \(\mathbf{BI}\) (Q1826634) (← links)
- The category of finite sets and Cartesian closed categories (Q1838563) (← links)
- Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions (Q2014742) (← links)
- Coherence via focusing for symmetric skew monoidal categories (Q2148789) (← links)
- Coherence for closed categories with biproducts (Q2200954) (← links)
- Modules over discrete valuation domains. III (Q2231181) (← links)
- Contrary-to-duty reasoning: a categorical approach (Q2342801) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- Categorical interpretation of logical derivations and its applications in algebra (Q2452950) (← links)
- Modules over discrete valuation domains. II (Q2519166) (← links)
- Coherence in closed categories (Q2544617) (← links)
- A Curry–Howard View of Basic Justification Logic (Q2820702) (← links)
- From Parity Games to Circular Proofs (Q2842563) (← links)
- Logic in Category Theory (Q2909761) (← links)
- Generality of proofs and its Brauerian representation (Q3160565) (← links)
- (Q3480250) (← links)
- (Q3495524) (← links)
- When are Two Algorithms the Same? (Q3633205) (← links)
- On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication (Q3644749) (← links)
- Lambek's categorical proof theory and Läuchli's abstract realizability (Q4008758) (← links)
- Struktursätze der Algebra und Kompliziertheit logischer Schemata. III Algebraische Theorien und Verallgemeinerungen (Q4067159) (← links)
- Topology and logic as a source of algebra (Q4087978) (← links)
- Coherence in Nonmonoidal Closed Categories (Q4092159) (← links)
- Polycategories (Q4123497) (← links)
- (Q4585075) (← links)
- A comparison between monoidal and substructural logics (Q4586159) (← links)
- Categorial Grammars and Their Logics (Q4611658) (← links)
- Identity of Proofs Based on Normalization and Generality (Q4650310) (← links)
- From Petri nets to linear logic (Q4713398) (← links)
- Reductions in Intuitionistic Linear Logic (Q4882488) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
