Sentential constants in systems near R (Q1313086): Difference between revisions

@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Sentential constants in R and \(R^{\neg}\)
@@ Property / cites work: Sentential constants in R and \(R^{\neg}\) / rank @@
+Normal rank
@@ Property / cites work @@
+On formulas of one variable in intuitionistic propositional calculus
+Normal rank
@@ Property / cites work @@
+varieties: A solution to the Ackermann constant problem
+Normal rank
@@ Property / cites work @@
+On the structure of De Morgan monoids with corollaries on relevant logic and theories
+Normal rank
@@ Property / cites work @@
+Q4732137
@@ Property / cites work: Q4732137 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01057657
+Normal rank
@@ Property / OpenAlex ID @@
+W2035319391
@@ Property / OpenAlex ID: W2035319391 / rank @@
+Normal rank