Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras (Q5249693): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-06025-5_34
+Normal rank
@@ Property / OpenAlex ID @@
+W213280967
@@ Property / OpenAlex ID: W213280967 / rank @@
+Normal rank
@@ Property / cites work @@
+On the ternary relation and conditionality
@@ Property / cites work: On the ternary relation and conditionality / rank @@
+Normal rank
@@ Property / cites work @@
+Language in action. Categories, lambdas and dynamic logic
+Normal rank
@@ Property / cites work @@
+Q4876413
@@ Property / cites work: Q4876413 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3122692
@@ Property / cites work: Q3122692 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational semantics for Kleene logic and action logic
+Normal rank
@@ Property / cites work @@
+Q3599059
@@ Property / cites work: Q3599059 / rank @@
+Normal rank
@@ Property / cites work @@
+RELEVANCE LOGICS AND RELATION ALGEBRAS
@@ Property / cites work: RELEVANCE LOGICS AND RELATION ALGEBRAS / rank @@
+Normal rank
@@ Property / cites work @@
+On when a semantics is not a semantics: some reasons for disliking the Routley-Meyer semantics for relevance logic
+Normal rank
@@ Property / cites work @@
+The genesis of possible worlds semantics
@@ Property / cites work: The genesis of possible worlds semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287485
@@ Property / cites work: Q4287485 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428873
@@ Property / cites work: Q4428873 / 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 @@
+Boolean Algebras with Operators
@@ Property / cites work: Boolean Algebras with Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+The representation of relational algebras
@@ Property / cites work: The representation of relational algebras / rank @@
+Normal rank
@@ Property / cites work @@
+RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
@@ Property / cites work: RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS / rank @@
+Normal rank
@@ Property / cites work @@
+A star-free semantics for <b><i>R</i></b>
@@ Property / cites work: A star-free semantics for <b><i>R</i></b> / rank @@
+Normal rank
@@ Property / cites work @@
+New axiomatics for relevant logics. I
@@ Property / cites work: New axiomatics for relevant logics. I / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras of Relations and Relevance Logic
@@ Property / cites work: Algebras of Relations and Relevance Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287490
@@ Property / cites work: Q4287490 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3246315
@@ Property / cites work: Q3246315 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691522
@@ Property / cites work: Q5691522 / rank @@
+Normal rank
@@ Property / cites work @@
+Defining double negation elimination
@@ Property / cites work: Defining double negation elimination / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of entailment. II
@@ Property / cites work: The semantics of entailment. II / 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 @@
+Q4735171
@@ Property / cites work: Q4735171 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126000
@@ Property / cites work: Q3126000 / rank @@
+Normal rank