QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES (Q5241228): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
+Normal rank
@@ Property / cites work @@
+Q3880841
@@ Property / cites work: Q3880841 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5520521
@@ Property / cites work: Q5520521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4185470
@@ Property / cites work: Q4185470 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994935
@@ Property / cites work: Q3994935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3050433
@@ Property / cites work: Q3050433 / rank @@
+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 @@
+Continuous Lattices and Domains
@@ Property / cites work: Continuous Lattices and Domains / rank @@
+Normal rank
@@ Property / cites work @@
+STRONG COMPLETENESS OF S4 FOR ANY DENSE-IN-ITSELF METRIC SPACE
+Normal rank
@@ Property / cites work @@
+QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE
@@ Property / cites work: QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE / rank @@
+Normal rank
@@ Property / cites work @@
+First order \(S4\) and its measure-theoretic semantics
+Normal rank
@@ Property / cites work @@
+The algebra of topology
@@ Property / cites work: The algebra of topology / rank @@
+Normal rank
@@ Property / cites work @@
+The topology of ultrafilters as subspaces of \(2^{\omega }\)
+Normal rank
@@ Property / cites work @@
+Q3947661
@@ Property / cites work: Q3947661 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of non-deducibility in intuitionistic functional calculus
+Normal rank
@@ Property / cites work @@
+Algebraic Treatment of the Functional Calculi of Heyting and Lewis
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on the Curry-Howard isomorphism
@@ Property / cites work: Lectures on the Curry-Howard isomorphism / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s1755020319000170
+Normal rank
@@ Property / OpenAlex ID @@
+W2935729958
@@ Property / OpenAlex ID: W2935729958 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5241228