Cardinality reduction theorem for logics QHC and QH4 (Q6148010): Difference between revisions

@@ Property / cites work @@
+Intuitionism. An introduction
@@ Property / cites work: Intuitionism. An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit Provability and Constructive Semantics
@@ Property / cites work: Explicit Provability and Constructive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023115
@@ Property / cites work: Q4023115 / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretation of intuitionistic number theory
+Normal rank
@@ Property / cites work @@
+Q4774021
@@ Property / cites work: Q4774021 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
+Normal rank
@@ Property / cites work @@
+INTUITIONISTIC EPISTEMIC LOGIC
@@ Property / cites work: INTUITIONISTIC EPISTEMIC LOGIC / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385435
@@ Property / cites work: Q4385435 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385438
@@ Property / cites work: Q4385438 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining Classical and Intuitionistic Implications
+Normal rank
@@ Property / cites work @@
+From fibring to cryptofibring. A solution to the collapsing problem
+Normal rank
@@ Property / cites work @@
+A modal logic amalgam of classical and intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+The predicate version of the joint logic of problems and propositions
+Normal rank
@@ Property / cites work @@
+Grothendieck Topology as Geometric Modality
@@ Property / cites work: Grothendieck Topology as Geometric Modality / rank @@
+Normal rank
@@ Property / cites work @@
+Cover semantics for quantified lax logic
@@ Property / cites work: Cover semantics for quantified lax logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3880841
@@ Property / cites work: Q3880841 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional lax logic
@@ Property / cites work: Propositional lax logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Russell–Prawitz modality
@@ Property / cites work: The Russell–Prawitz modality / rank @@
+Normal rank
@@ Property / cites work @@
+Kripke semantics for the logic of problems and propositions
+Normal rank
@@ Property / cites work @@
+Topological models of propositional logic of problems and propositions
+Normal rank
@@ Property / cites work @@
+Quantification in nonclassical logic. Volume I.
@@ Property / cites work: Quantification in nonclassical logic. Volume I. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3781066
@@ Property / cites work: Q3781066 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789048
@@ Property / cites work: Q4789048 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank