Some structure results for propositional calculi (Q5582301): Difference between revisions

@@ Property / author @@
-Ronald Harrop
@@ Property / author: Ronald Harrop / rank @@
-Normal rank
@@ Property / author @@
+Ronald Harrop
@@ Property / author: Ronald Harrop / 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/2269618
@@ Property / full work available at URL: https://doi.org/10.2307/2269618 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2046780264
@@ Property / OpenAlex ID: W2046780264 / rank @@
+Normal rank
@@ Property / cites work @@
+Note on a property of matrices for Lewis and Langford's calculi of propositions
+Normal rank
@@ Property / cites work @@
+An extension algebra and the modal system
@@ Property / cites work: An extension algebra and the modal system / rank @@
+Normal rank
@@ Property / cites work @@
+A NOTE ON THE MODAL CALCULI S 4.2 AND S 4.3
@@ Property / cites work: A NOTE ON THE MODAL CALCULI S 4.2 AND S 4.3 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial results regarding word problems and recursively enumerable degrees of unsolvability
+Normal rank
@@ Property / cites work @@
+Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
+Normal rank
@@ Property / cites work @@
+Modal Logics Between S 4 and S 5
@@ Property / cites work: Modal Logics Between S 4 and S 5 / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+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 @@
+On intermediate many-valued logics
@@ Property / cites work: On intermediate many-valued logics / rank @@
+Normal rank
@@ Property / cites work @@
+The Finite Model Property and Subsystems of Classical Propositional Calculus
+Normal rank
@@ Property / cites work @@
+A complex of problems proposed by Post
@@ Property / cites work: A complex of problems proposed by Post / rank @@
+Normal rank
@@ Property / cites work @@
+On disjunctions and existential statements in intuitionistic systems of logic
+Normal rank
@@ Property / cites work @@
+Results concerning the decision problem of Lewis's calculi S3 and S6
+Normal rank
@@ Property / cites work @@
+On a fragment of the implicative propositional calculus
+Normal rank
@@ Property / cites work @@
+On closed elements in closure algebras
@@ Property / cites work: On closed elements in closure algebras / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5582301