Rudimentary Kripke models for the intuitionistic propositional calculus (Q2367411): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342096
@@ Property / cites work: Q4342096 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Logics with Strict Implication
@@ Property / cites work: Weak Logics with Strict Implication / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694248
@@ Property / cites work: Q4694248 / rank @@
+Normal rank
@@ Property / cites work @@
+Rudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus
+Normal rank
@@ Property / cites work @@
+Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus
+Normal rank
@@ Property / cites work @@
+A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
@@ Property / cites work: A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039813
@@ Property / cites work: Q4039813 / rank @@
+Normal rank
@@ Property / cites work @@
+Concerning formulas of the types <i>A→B</i> ν <i>C,A →(Ex)B(x)</i> in intuitionistic formal systems
+Normal rank
@@ Property / cites work @@
+Q3026978
@@ Property / cites work: Q3026978 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames
+Normal rank
@@ Property / cites work @@
+Q4198476
@@ Property / cites work: Q4198476 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2367411