Generalized quantification as substructural logic

Journal of Symbolic Logic

Volumn 61, Issue 3, 1996, Pages 1006-1044

  Alechina, Natasha ^a   Van Lambalgen, Michiel ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030491199     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2275797     Document Type: Article

References (36)

1. N. ALECHINA, On a decidable generalized quantifier logic corresponding to a decidable fragment of first order logic. Research Report ML-94-11, to appear in the Journal of Logic, Language and Information.
2. _, Modal quantifiers, Ph.D. thesis, ILLC, University of Amsterdam.
3. N. ALECHINA and M. VAN LAMBALGEN, Correspondence and completeness for generalized quantifiers, Bulletin of the IGPL, vol. 3, pp. 167-190.
4. H. ANDRÉKA and I. NÉMETI, Decidability of the bounded fragment of first order logic with equality, manuscript.
5. H. ANDRÉKA, J. VAN BENTHEM, and I. NÉMETI, Back and forth between modal logic and classical logic, to appear in the Bulletin of IGPL.
6. K. J. BARWISE, On branching quantifiers in English, Journal of Philosophical Logic, vol. 8, pp. 47-80.
7. K. J. Barwise and S. Feferman (editors), Model-theoretic logics, Springer-Verlag.
8. K. J. BARWISE, M. KAUFMANN, and M. MAKKAI, Stationary logic, Annals of Mathematical Logic, vol. 13, pp. 171-224.
9. _, A correction to 'Stationary logic', Annals of Mathematical Logic, vol. 20, pp. 231-232.
10. A. BLASS and Y. GUREVICH, Henkin quantifiers and complete problems, Annals of Pure and Applied Logic, vol. 32, pp. 1-16.
11. L. CHAGROVA, An undecidable problem in correspondence theory, this JOURNAL, vol. 56, pp. 1261-1272.
12. R. J. G. B. DE QUEIROZ and D. M. GABBAY, The functional interpretation of the existential quantifier, Bulletin of IGPL, vol. 3, pp. 243-290.
13. K. DOŠEN, Equality and substructural predicates, Dépt. de Mathématiques, Université Paul Valéry, Montpellier, preprint.
14. K. Došen and P. Schroeder-Heister (editors), Substructural logics, Oxford University Press.
15. H. B. ENDERTON, Finite partially ordered quantifiers, Z. Math. Logik Grundl. Math, vol. 16, pp. 393-397.
16. K. FINE, Natural deduction and arbitrary objects, Journal of Philosophical Logic, vol. 14, no. 1, pp. 57-107.
17. F. HARARY, R. Z. NORMAN, and D. CARTWRIGHT, Structural models: an introduction to the theory of directed graphs, Wiley.
18. D. HAREL, Characterizing second order logic with first order quantifiers, Z. Math. Logik Grundl. Math, vol. 25, pp. 419-422.
19. W. HODGES, Model theory, Cambridge University Press.
20. T. JECH. Set theory, Academic Press.
21. H. R. JERVELL, Conservative end extensions and the quantifier "there exist uncountably many", Proceedings of the third Scandinavian logic symposium (S. Kanger, editor), North Holland, Amsterdam, pp. 63-80.
22. H. J. KEISLER, Logic with the quantifier "the exist uncountably many", Annals of Mathematical Logic, vol. 1, pp. 1-93.
23. M. KRYNICKI, Quantifiers determined by partial orderings, Z. Math. Logik Grundl. Math., vol. 36. pp. 79-86.
24. Z. MIJAJLOVIC, On the definability of the quantifier "there exist uncountably many", Studia Logica, vol. 44, pp. 257-264.
25. G. MINTS, Choice of terms in quantifier rules of constructive predicate calculus, Studies in constructive mathematics and mathematical logic (A. O. Slisenko, editor), Seminars in Mathematics, vol. 4, V. A. Steklov Mathematical Institute, Leningrad.
26. A. MOSTOWSKI, On a generalization of quantifiers, Fundamenta Mathematicae, vol. 44, pp. 12-36.
27. M. MOSTOWSKI, Branched quantifiers, Rozprawy Uniwersytetu Warszawskiego, Dzial Wydawnictw Filii UW w Bialymstoku.
28. H. SAHLQVIST, Completeness and correspondence in the first and second order semantics for modal logic, (S. Kanger, editor), Proceedings of the third Scandinavian logic symposium, North Holland, 110-143.
29. G. SAMBIN and V. VACCARO, A new proof of Sahlqvist's theorem on modal definability and completeness, this JOURNAL, vol. 54, pp. 992-999.
30. C. I. STEINHORN, Borel structures and measure and category logics, in BARWISE and FEFERMAN [1985], pp. 579-596.
31. _, Borel structures for first order and extended logics, Harvey Friedman's research on the foundations of mathematics (L. A. Harrington et al., editors), North Holland.
32. J. F. A. K. VAN BENTHEM and N. ALECHINA, Modal quantification over structured domains, to appear in Advances in intensional logic (M. de Rijke, editor), Kluwer Academic Publishers, 1995.
33. M. VAN LAMBALGEN, The axiomatization of randomness, this JOURNAL, vol. 55, pp. 1143-1167.
34. _, Natural deduction for generalized quantifiers, Generalized quantifier theory and applications (J. van der Does and J. van Eijck, editors), Dutch Network for Language, Logic and Information, Amsterdam, to appear in CSLI Lecture Notes, University of Chicago Press, 1995, pp. 143-154.
35. _, Independence, randomness and the axiom of choice, this JOURNAL, vol. 57, pp. 1274-1304.
36. _, Independence structures in set theory, Illc report ml-94-04, University of Amsterdam, to appear in Proceedings Logic Colloquium '93, Oxford University Press.