Pages that link to "Item:Q1126244"
From MaRDI portal
The following pages link to Natural deduction and coherence for weakly distributive categories (Q1126244):
Displayed 44 items.
- A micrological study of negation (Q345707) (← links)
- Deep inference and probabilistic coherence spaces (Q452333) (← links)
- On cyclic star-autonomous categories (Q456839) (← links)
- Weakly distributive categories (Q674463) (← links)
- Categories for computation in context and unified logic (Q678833) (← links)
- Linear logic, coherence and dinaturality (Q685406) (← links)
- Softness of hypercoherences and MALL full completeness (Q705530) (← links)
- Categorical proof theory of classical propositional calculus (Q860833) (← links)
- The logic of message-passing (Q923880) (← links)
- Exhausting strategies, joker games and full completeness for IMLL with unit (Q1398468) (← links)
- Handsome proof-nets: Perfect matchings and cographs (Q1398476) (← links)
- On categorical equivalence of Gentzen-style derivations in IMLL (Q1401367) (← links)
- Feedback for linearly distributive categories: Traces and fixpoints (Q1588062) (← links)
- Normalization of N-graphs via sub-N-graphs (Q1744401) (← links)
- Relations and non-commutative linear logic (Q1910723) (← links)
- Linear Läuchli semantics (Q1919529) (← links)
- Simple free star-autonomous categories and full coherence (Q1936110) (← links)
- Bifibrations of polycategories and classical linear logic (Q2133466) (← links)
- Coherence in SMCCs and equivalences on derivations in IMML with unit (Q2373695) (← links)
- Order-enriched categorical models of the classical sequent calculus (Q2576913) (← links)
- On linear rewriting systems for Boolean logic and some applications to proof theory (Q2974793) (← links)
- Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic (Q3637204) (← links)
- Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization (Q3638277) (← links)
- A comparison between monoidal and substructural logics (Q4586159) (← links)
- Quantum Speedup and Categorical Distributivity (Q4922077) (← links)
- A practical type theory for symmetric monoidal categories (Q5006460) (← links)
- Aspects of Categorical Recursion Theory (Q5014598) (← links)
- (Q5014808) (← links)
- Proof Nets, Coends and the Yoneda Isomorphism (Q5018492) (← links)
- (Q5019688) (← links)
- (Q5028428) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- (Q5137919) (← links)
- (Q5227516) (← links)
- Deep inference and expansion trees for second-order multiplicative linear logic (Q5236548) (← links)
- Weak units, universal cells, and coherence via universality for bicategories (Q5239844) (← links)
- The parametric continuation monad (Q5269001) (← links)
- A Logical Basis for Quantum Evolution and Entanglement (Q5414959) (← links)
- On categorical models of classical logic and the Geometry of Interaction (Q5430139) (← links)
- Proof nets and semi-star-autonomous categories (Q5741579) (← links)
- Proof theory in the abstract (Q5957852) (← links)
- Combinatorial flows as bicolored atomic flows (Q6103000) (← links)
- Promonads and String Diagrams for Effectful Categories (Q6150166) (← links)
- (Q6153339) (← links)