Singulary extensional connectives: A closer look (Q1362590): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalential logics. I
@@ Property / cites work: Equivalential logics. I / rank @@
+Normal rank
@@ Property / cites work @@
+Extensionality in sentence position
@@ Property / cites work: Extensionality in sentence position / rank @@
+Normal rank
@@ Property / cites work @@
+The lattice of extensional connectives: A correction
+Normal rank
@@ Property / cites work @@
+Negation by iteration
@@ Property / cites work: Negation by iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Galois Connexions
@@ Property / cites work: Galois Connexions / rank @@
+Normal rank
@@ Property / cites work @@
+-element matrices
@@ Property / cites work: 2-element matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3760525
@@ Property / cites work: Q3760525 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for the common rules of \(\wedge\) and \(\vee\)
+Normal rank
@@ Property / cites work @@
+Axiomatization of semigroup consequences
@@ Property / cites work: Axiomatization of semigroup consequences / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079581
@@ Property / cites work: Q4079581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4159022
@@ Property / cites work: Q4159022 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of logical calculi. Basic theory of consequence operations
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1362590