On Jaskowski-type semantics for the intuitionistic propositional logic (Q1231484): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5532570
@@ Property / cites work: Q5532570 / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on The Jaśkowski Sequence
@@ Property / cites work: A Note on The Jaśkowski Sequence / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional Calculus and Realizability
@@ Property / cites work: Propositional Calculus and Realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of a conjecture of McKay
@@ Property / cites work: Proof of a conjecture of McKay / rank @@
+Normal rank
@@ Property / cites work @@
+Q5518356
@@ Property / cites work: Q5518356 / rank @@
+Normal rank