Comments on the Contributions (Q5027252): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-71430-7_22
+Normal rank
@@ Property / OpenAlex ID @@
+W3204378037
@@ Property / OpenAlex ID: W3204378037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457529
@@ Property / cites work: Q4457529 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297115
@@ Property / cites work: Q4297115 / rank @@
+Normal rank
@@ Property / cites work @@
+The Blind Spot
@@ Property / cites work: The Blind Spot / rank @@
+Normal rank
@@ Property / cites work @@
+Begründung einer strengen Implikation
@@ Property / cites work: Begründung einer strengen Implikation / 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 @@
+Distributive lattices with an additional unary operation
+Normal rank
@@ Property / cites work @@
+An axiomatic version of positive semilattice relevance logic
+Normal rank
@@ Property / cites work @@
+Comparison of Russell's resolution of the semantical antinomies with that of Tarski
+Normal rank
@@ Property / cites work @@
+Model theory for modal logic. I: The de re / de dicto distinction
+Normal rank
@@ Property / cites work @@
+The Variety of Modular Lattices is Not Generated by its Finite Members
+Normal rank
@@ Property / cites work @@
+Free Modular Lattices
@@ Property / cites work: Free Modular Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras and projective geometries
@@ Property / cites work: Relation algebras and projective geometries / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077984
@@ Property / cites work: Q4077984 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079581
@@ Property / cites work: Q4079581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3240239
@@ Property / cites work: Q3240239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4732137
@@ Property / cites work: Q4732137 / rank @@
+Normal rank
@@ Property / cites work @@
+An Interpretation of Many-Valued Logic
@@ Property / cites work: An Interpretation of Many-Valued Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342080
@@ Property / cites work: Q4342080 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of entailment and relevant implication
+Normal rank
@@ Property / cites work @@
+Duality for algebras of relevant logics
@@ Property / cites work: Duality for algebras of relevant logics / rank @@
+Normal rank
@@ Property / cites work @@
+The number of lines in Frege proofs with substitution
+Normal rank
@@ Property / cites work @@
+Logic at work. Essays dedicated to the memory of Helena Rasiowa
+Normal rank
@@ Property / cites work @@
+Q4789456
@@ Property / cites work: Q4789456 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Propositional Proofs with the Substitution Rule
+Normal rank
@@ Property / cites work @@
+Q3466634
@@ Property / cites work: Q3466634 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank