Characterization of pseudo-Boolean models by Boolean models and its applications to intermediate logics (Q2264662): Difference between revisions

@@ Property / cites work @@
+Q5789040
@@ Property / cites work: Q5789040 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509710
@@ Property / cites work: Q5509710 / 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 @@
+Q5545944
@@ Property / cites work: Q5545944 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatization of models for intermediate logics constructed with Boolean models by piling up
+Normal rank
@@ Property / cites work @@
+Q5532530
@@ Property / cites work: Q5532530 / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke models and intermediate logics
@@ Property / cites work: Kripke models and intermediate logics / rank @@
+Normal rank
@@ Property / cites work @@
+Some results on the intermediate logics
@@ Property / cites work: Some results on the intermediate logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank