New axiomatics for relevant logics. I (Q1394338): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+New foundations for Lewis modal systems
@@ Property / cites work: New foundations for Lewis modal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Classical relevant logics. I
@@ Property / cites work: Classical relevant logics. I / rank @@
+Normal rank
@@ Property / cites work @@
+Classical relevant logics. II
@@ Property / cites work: Classical relevant logics. II / rank @@
+Normal rank
@@ Property / cites work @@
+The pure calculus of entailment
@@ Property / cites work: The pure calculus of entailment / 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 @@
+Q4103076
@@ Property / cites work: Q4103076 / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of Scott's notion of consequence to the study of general binary intensional connectives and entailment
+Normal rank
@@ Property / cites work @@
+Q4106171
@@ Property / cites work: Q4106171 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4077984
@@ Property / cites work: Q4077984 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5631082
@@ Property / cites work: Q5631082 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational speed-up by effective operators
@@ Property / cites work: Computational speed-up by effective operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q5547552
@@ Property / cites work: Q5547552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5815602
@@ Property / cites work: Q5815602 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of weak implication
@@ Property / cites work: Completeness of weak implication / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1394338