A note on some intermediate propositional calculi (Q3218107): Difference between revisions

@@ Property / author @@
+Branislav R. Boričić
@@ Property / author: Branislav R. Boričić / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2274168
@@ Property / full work available at URL: https://doi.org/10.2307/2274168 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2138158646
@@ Property / OpenAlex ID: W2138158646 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5547552
@@ Property / cites work: Q5547552 / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional calculus with denumerable matrix
@@ Property / cites work: A propositional calculus with denumerable matrix / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic proof of the separation theorem on Dummett's $\mathrm{LC}$
+Normal rank
@@ Property / cites work @@
+Algebraic proof of the separation theorem on classical propositional calculus
+Normal rank
@@ Property / cites work @@
+On the separation theorem of intermediate propositional calculi
+Normal rank