A comparison between monoidal and substructural logics (Q4586159): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1080/11663081.2016.1179528
+Normal rank
@@ Property / OpenAlex ID @@
+W2495156561
@@ Property / OpenAlex ID: W2495156561 / rank @@
+Normal rank
@@ Property / cites work @@
+Games and full completeness for multiplicative linear logic
+Normal rank
@@ Property / cites work @@
+On a contraction-less intuitionistic propositional logic with conjunction and fusion
+Normal rank
@@ Property / cites work @@
+Category Theory
@@ Property / cites work: Category Theory / rank @@
+Normal rank
@@ Property / cites work @@
+*-autonomous categories. With an appendix by Po-Hsiang Chu
+Normal rank
@@ Property / cites work @@
+Display logic
@@ Property / cites work: Display logic / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction and coherence for weakly distributive categories
+Normal rank
@@ Property / cites work @@
+Q4650576
@@ Property / cites work: Q4650576 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical BI: Its Semantics and Proof Theory
@@ Property / cites work: Classical BI: Its Semantics and Proof Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness Results for Lambek Syntactic Calculus
+Normal rank
@@ Property / cites work @@
+Q5283974
@@ Property / cites work: Q5283974 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353914
@@ Property / cites work: Q4353914 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342439
@@ Property / cites work: Q4342439 / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly distributive categories
@@ Property / cites work: Weakly distributive categories / rank @@
+Normal rank
@@ Property / cites work @@
+A dialectica-like model of linear logic
@@ Property / cites work: A dialectica-like model of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Proof analysis in intermediate logics
@@ Property / cites work: Proof analysis in intermediate logics / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of abstract algebraic logic
@@ Property / cites work: A survey of abstract algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Substructural logics on display
@@ Property / cites work: Substructural logics on display / rank @@
+Normal rank
@@ Property / cites work @@
+Q4329354
@@ Property / cites work: Q4329354 / rank @@
+Normal rank
@@ Property / cites work @@
+Full intuitionistic linear logic
@@ Property / cites work: Full intuitionistic linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Powerset Residuated Algebras and Generalized Lambek Calculus
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Deductive systems and categories
@@ Property / cites work: Deductive systems and categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5595187
@@ Property / cites work: Q5595187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940719
@@ Property / cites work: Q4940719 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+From a geometrical point of view. A study of the history and philosophy of category theory
+Normal rank
@@ Property / cites work @@
+The History of Categorical Logic: 1963–1977
@@ Property / cites work: The History of Categorical Logic: 1963–1977 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5457385
@@ Property / cites work: Q5457385 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Bunched Implications
@@ Property / cites work: The Logic of Bunched Implications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940727
@@ Property / cites work: Q4940727 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4463933
@@ Property / cites work: Q4463933 / rank @@
+Normal rank
@@ Property / cites work @@
+The categorical imperative: category theory as a foundation for deontic logic
+Normal rank
@@ Property / cites work @@
+Contrary-to-duty reasoning: a categorical approach
+Normal rank
@@ Property / cites work @@
+Q4964699
@@ Property / cites work: Q4964699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805593
@@ Property / cites work: Q4805593 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3827993
@@ Property / cites work: Q3827993 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatic Extensions of Hohle's Monoidal Logic
@@ Property / cites work: Axiomatic Extensions of Hohle's Monoidal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Falsification, natural deduction and bi-intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q5549788
@@ Property / cites work: Q5549788 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4586159