Multiplicative conjunction and an algebraic meaning of contraction and weakening (Q4227869): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2586715
@@ Property / full work available at URL: https://doi.org/10.2307/2586715 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2045622150
@@ Property / OpenAlex ID: W2045622150 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics and proof theory of linear logic
@@ Property / cites work: The semantics and proof theory of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+On Entailment
@@ Property / cites work: On Entailment / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495851
@@ Property / cites work: Q4495851 / rank @@
+Normal rank
@@ Property / cites work @@
+Relevance and paraconsistency - a new approach. II: The formal systems
+Normal rank
@@ Property / cites work @@
+Multiplicative Conjunction as an Extensional Conjunction
+Normal rank
@@ Property / cites work @@
+Axiomatic System, Deduction and Implication
@@ Property / cites work: Axiomatic System, Deduction and Implication / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank