MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION (Q5216977): Difference between revisions

@@ Property / author @@
-Patrick R. Girard
@@ Property / author: Patrick R. Girard / rank @@
-Normal rank
@@ Property / author @@
+Patrick R. Girard
@@ Property / author: Patrick R. Girard / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke models for linear logic
@@ Property / cites work: Kripke models for linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of Grišin's set theory
@@ Property / cites work: The undecidability of Grišin's set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Toward useful type-free theories. I
@@ Property / cites work: Toward useful type-free theories. I / 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 @@
+Light linear logic
@@ Property / cites work: Light linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+PREDICATE AND SET-THEORETIC CALCULI BASED ON LOGIC WITHOUT CONTRACTIONS
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093482
@@ Property / cites work: Q3093482 / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke semantics for modal substructural logics
@@ Property / cites work: Kripke semantics for modal substructural logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4887109
@@ Property / cites work: Q4887109 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of \(R4\)
@@ Property / cites work: The semantics of \(R4\) / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940727
@@ Property / cites work: Q4940727 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics without the contraction rule
@@ Property / cites work: Logics without the contraction rule / rank @@
+Normal rank
@@ Property / cites work @@
+Logic without contraction as based on inclusion and unrestricted abstraction
+Normal rank
@@ Property / cites work @@
+\(\mathbf L^i \mathbf D^Z_\lambda\) as a basis for PRA
+Normal rank
@@ Property / cites work @@
+Light affine set theory: A naive set theory of polynomial time
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342096
@@ Property / cites work: Q4342096 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of information structures
@@ Property / cites work: The logic of information structures / rank @@
+Normal rank
@@ Property / cites work @@
+Observations on the trivial world
@@ Property / cites work: Observations on the trivial world / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s1755020319000030
+Normal rank
@@ Property / OpenAlex ID @@
+W2913802826
@@ Property / OpenAlex ID: W2913802826 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q128374567
@@ Property / Wikidata QID: Q128374567 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5216977