On a decidable generalized quantifier logic corresponding to a decidable fragment of first-order logic (Q1909605): Difference between revisions

@@ Property / cites work @@
+Correspondence and Completeness for Generalized Quantifiers
+Normal rank
@@ Property / cites work @@
+Generalized quantification as substructural logic
@@ Property / cites work: Generalized quantification as substructural logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4860647
@@ Property / cites work: Q4860647 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid languages
@@ Property / cites work: Hybrid languages / 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 @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+The axiomatization of randomness
@@ Property / cites work: The axiomatization of randomness / rank @@
+Normal rank