Current trends in substructural logics (Q266641): Difference between revisions

@@ Property / full work available at URL @@
-https://doi.org/10.1007/s10992-015-9346-x
-Normal rank
@@ Property / OpenAlex ID @@
-W2001724322
@@ Property / OpenAlex ID: W2001724322 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10992-015-9346-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2001724322
@@ Property / OpenAlex ID: W2001724322 / 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 @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297115
@@ Property / cites work: Q4297115 / 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 @@
+Display logic
@@ Property / cites work: Display logic / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic displayed
@@ Property / cites work: Linear logic displayed / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure For the System <i>E</i><sub>Ī</sub> of Entailment with Negation
+Normal rank
@@ Property / cites work @@
+The decidability of the intensional fragment of classical linear logic
+Normal rank
@@ Property / cites work @@
+Semantics for structurally free logics LC+
@@ Property / cites work: Semantics for structurally free logics LC+ / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility of cut in LC with fixed point combinator
+Normal rank
@@ Property / cites work @@
+The semantics of entailment. II
@@ Property / cites work: The semantics of entailment. II / rank @@
+Normal rank
@@ Property / cites work @@
+Dual gaggle semantics for entailment
@@ Property / cites work: Dual gaggle semantics for entailment / rank @@
+Normal rank
@@ Property / cites work @@
+Q3019505
@@ Property / cites work: Q3019505 / rank @@
+Normal rank
@@ Property / cites work @@
+Four-valued logic
@@ Property / cites work: Four-valued logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3599059
@@ Property / cites work: Q3599059 / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetric generalized Galois logics
@@ Property / cites work: Symmetric generalized Galois logics / rank @@
+Normal rank
@@ Property / cites work @@
+New consecution calculi for \(R^{t}_{\to}\)
@@ Property / cites work: New consecution calculi for \(R^{t}_{\to}\) / rank @@
+Normal rank
@@ Property / cites work @@
+On the decidability of implicational ticket entailment
+Normal rank
@@ Property / cites work @@
+Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment
+Normal rank
@@ Property / cites work @@
+Classical relevant logics. I
@@ Property / cites work: Classical relevant logics. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5331549
@@ Property / cites work: Q5331549 / rank @@
+Normal rank
@@ Property / cites work @@
+Fragments of R-mingle
@@ Property / cites work: Fragments of R-mingle / rank @@
+Normal rank
@@ Property / cites work @@
+Q4961804
@@ Property / cites work: Q4961804 / rank @@
+Normal rank
@@ Property / cites work @@
+CE is not a conservative extension of E
@@ Property / cites work: CE is not a conservative extension of E / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Q5547552
@@ Property / cites work: Q5547552 / rank @@
+Normal rank
@@ Property / cites work @@
+A Kripke-style semantics for R-mingle using a binary accessibility relation
+Normal rank
@@ Property / cites work @@
+Quantification and RM
@@ Property / cites work: Quantification and RM / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342081
@@ Property / cites work: Q4342081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287485
@@ Property / cites work: Q4287485 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4940724
@@ Property / cites work: Q4940724 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators
@@ Property / cites work: Boolean Algebras with Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753193
@@ Property / cites work: Q2753193 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinators and structurally free logic
@@ Property / cites work: Combinators and structurally free logic / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Algebras with Operators. Part I
@@ Property / cites work: Boolean Algebras with Operators. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+\(TW_+\) and \(RW_+\) are decidable
@@ Property / cites work: \(TW_+\) and \(RW_+\) are decidable / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION
+Normal rank
@@ Property / cites work @@
+An alternative semantics for quantified relevant logic
+Normal rank
@@ Property / cites work @@
+Substructural logics on display
@@ Property / cites work: Substructural logics on display / rank @@
+Normal rank
@@ Property / cites work @@
+Stone duality for lattices
@@ Property / cites work: Stone duality for lattices / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness of the first-order functional calculus
+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 @@
+Normal modal substructural logics with strong negation
+Normal rank
@@ Property / cites work @@
+A completeness theorem in modal logic
@@ Property / cites work: A completeness theorem in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5546768
@@ Property / cites work: Q5546768 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems for propositional linear logic
@@ Property / cites work: Decision problems for propositional linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Ternary relations and relevant semantics
@@ Property / cites work: Ternary relations and relevant semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4103076
@@ Property / cites work: Q4103076 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical relevant logics. II
@@ Property / cites work: Classical relevant logics. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4463933
@@ Property / cites work: Q4463933 / rank @@
+Normal rank
@@ Property / cites work @@
+Ticket Entailment is decidable
@@ Property / cites work: Ticket Entailment is decidable / rank @@
+Normal rank
@@ Property / cites work @@
+Substructural logics: a primer
@@ Property / cites work: Substructural logics: a primer / rank @@
+Normal rank
@@ Property / cites work @@
+Lambek calculus is NP-complete
@@ Property / cites work: Lambek calculus is NP-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Representation of Distributive Lattices by means of ordered Stone Spaces
+Normal rank
@@ Property / cites work @@
+Q5690150
@@ Property / cites work: Q5690150 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805593
@@ Property / cites work: Q4805593 / rank @@
+Normal rank
@@ Property / cites work @@
+Converse Ackermann property and constructive negation defined with a negation connective
+Normal rank
@@ Property / cites work @@
+Q3996704
@@ Property / cites work: Q3996704 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of entailment. III
@@ Property / cites work: The semantics of entailment. III / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077984
@@ Property / cites work: Q4077984 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3701398
@@ Property / cites work: Q3701398 / rank @@
+Normal rank
@@ Property / cites work @@
+General frames for relevant modal logics
@@ Property / cites work: General frames for relevant modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Representation for Boolean Algebras
@@ Property / cites work: The Theory of Representation for Boolean Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Topological representations of distributive lattices and Brouwerian logics
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4732137
@@ Property / cites work: Q4732137 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495851
@@ Property / cites work: Q4495851 / rank @@
+Normal rank
@@ Property / cites work @@
+A topological representation theory for lattices
@@ Property / cites work: A topological representation theory for lattices / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of entailment and relevant implication
+Normal rank
@@ Property / cites work @@
+The complexity of decision procedures in relevance logic II
+Normal rank
@@ Property / cites work @@
+Q3629230
@@ Property / cites work: Q3629230 / rank @@
+Normal rank