Natural deduction and coherence for weakly distributive categories (Q1126244): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4842977 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4282573 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear logic, coherence and dinaturality / rank
 
Normal rank
Property / cites work
 
Property / cites work: ! and ? – Storage as tensorial strength / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3138536 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The structure of multiplicatives / rank
 
Normal rank
Property / cites work
 
Property / cites work: The mix rule / rank
 
Normal rank
Property / cites work
 
Property / cites work: The virtues of eta-expansion / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bounded linear logic: A modular approach to polynomial-time computability / rank
 
Normal rank
Property / cites work
 
Property / cites work: The structure of free closed categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: The geometry of tensor calculus. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: On MacLane's conditions for coherence of natural associativities, commutativities, etc / rank
 
Normal rank
Property / cites work
 
Property / cites work: Coherence in closed categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4842976 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5595187 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4940719 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3727946 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5655528 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Closed categories and the theory of proofs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5559220 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3827993 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On natural transformations of distinguished functors and their superpositions in certain closed categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Polycategories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4495851 / rank
 
Normal rank

Latest revision as of 15:10, 24 May 2024

scientific article
Language Label Description Also known as
English
Natural deduction and coherence for weakly distributive categories
scientific article

    Statements

    Natural deduction and coherence for weakly distributive categories (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    19 March 1997
    0 references
    \(*\)-autonomous categories
    0 references
    coherence
    0 references
    monoidal categories
    0 references
    proof theory
    0 references
    linear logic
    0 references
    proof nets
    0 references
    weakly distributive categories
    0 references
    two-tensor structure
    0 references
    expansion-reduction systems
    0 references
    decision procedure
    0 references
    conservative extension
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references