Generalized quantification as substructural logic (Q5687328): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2307/2275797
@@ Property / full work available at URL: https://doi.org/10.2307/2275797 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2123461744
@@ Property / OpenAlex ID: W2123461744 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing Second Order Logic with First Order Quantifiers
+Normal rank
@@ Property / cites work @@
+Q5515142
@@ Property / cites work: Q5515142 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction and arbitrary objects
@@ Property / cites work: Natural deduction and arbitrary objects / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Partially‐Ordered Quantifiers
@@ Property / cites work: Finite Partially‐Ordered Quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4424643
@@ Property / cites work: Q4424643 / rank @@
+Normal rank
@@ Property / cites work @@
+The Functional Interpretation of the Existential Quantifier
+Normal rank
@@ Property / cites work @@
+Henkin quantifiers and complete problems
@@ Property / cites work: Henkin quantifiers and complete problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5767299
@@ Property / cites work: Q5767299 / rank @@
+Normal rank
@@ Property / cites work @@
+On the definability of the quantifier ''there exist uncountably many''
+Normal rank
@@ Property / cites work @@
+Quantifiers determined by partial orderings
@@ Property / cites work: Quantifiers determined by partial orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Harvey Friedman's research on the foundations of mathematics
+Normal rank
@@ Property / cites work @@
+Logic with the quantifier “there exist uncountably many”
+Normal rank
@@ Property / cites work @@
+A correction to “stationary logic”
@@ Property / cites work: A correction to “stationary logic” / rank @@
+Normal rank
@@ Property / cites work @@
+Stationary logic
@@ Property / cites work: Stationary logic / rank @@
+Normal rank
@@ Property / cites work @@
+Model-Theoretic Logics
@@ Property / cites work: Model-Theoretic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Correspondence and Completeness for Generalized Quantifiers
+Normal rank