Some results concerning finite model separability of propositional calculi (Q1239307): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Concerning the Finite Model Property for Propositional Calculi
+Normal rank
@@ Property / cites work @@
+The Finite Model Property and Subsystems of Classical Propositional Calculus
+Normal rank
@@ Property / cites work @@
+A Relativization Procedure for Propositional Calculi, with an Application to a Generalized Form of Post's Theorem
+Normal rank
@@ Property / cites work @@
+Some structure results for propositional calculi
@@ Property / cites work: Some structure results for propositional calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q5685054
@@ Property / cites work: Q5685054 / rank @@
+Normal rank
@@ Property / cites work @@
+The decidability of certain intermediate propositional logics
+Normal rank
@@ Property / cites work @@
+Some results concerning finite models for sentential calculi
+Normal rank