Bulletin of the Section of Logic 20/3-4 (1991)details


Table of contents




  • 1. Mark A.BROWN, Operators on branched quantifiers83

  • 2. Xavier CAICEDO, Hilbert's e-symbol in the presence of generatized quantifiers85

  • 3. Xavier CAICEDO, Continous operations on spaces of structures88

  • 4. Andrzej TRYBULEC, The Mizar Project90

  • 5. Agata DARMOCHWAL, PC Mizar Presentation92

  • 6. A.G.DRAGALIN, The collapse of the descriptive complexity of truth definitions. Completions of Heyting and Boolean algebras94

  • 7. Heinz-Dieter EBBINGHAUS, On models with automorphisms96

  • 8. Jorg FLUM, Some problems in topological model theory97

  • 9. Lauri HELLA and Kerkko LUOSTO, Finite generation problem and n-ary quantifiers98

  • 10. Lauri HELLA and Gabriel SANDU, Generalized quantifiers and finite models100

  • 11. Heinrich HERRE, Decision problems for linear orderings in stationary logic102

  • 12. Taneli HUUSKONEN, Small ninisimorphic models can be equivalent in long games105

  • 13. Aleksandre A.IVANOV, Some remarks on definable quantifiers107

  • 14. Richard KAYE, Tannenbaum phenomena for bounded existential induction108

  • 15. Roman KOSSAK, The $omega;1-like recursively saturated models of arithmetic109

  • 16. Michal KRYNICKI, Quantifiers determined by class of binary relations110

  • 17. Wolfgang LENSKI, Decidability results for classes of ordered abelian groups in logic with Ramsey Quantifiers111

  • 18. Marcin MOSTOWSKI, Quantifiers definable by second order means113

  • 19. A.G.PINUS, Generalized quantifiers in algebra115

  • 20. Heinz-Peter TUSCHNIK, Quantification over lines116

  • 21. Marek M.ZAWADOWSKI, Pre-ordered quantifiers in elementary sentences of natural language117

  • 22. Marek TOKARZ, Non-axiomatizability of Grice's implicature119

  • 23. Josep Maria FONT, F.GUZMAN and Ventura VERDU, Characterization of the reduced matrices for the {&,or}-fragment of classical logic124

  • 24. Timothy WILIAMSON, A relation between namesakes in modal logic130

  • 25. Jacek MALINOWSKI, Quasivarieties of modular ortholattices138

  • 26. Boguslaw WOLNIEWICZ, A sequel to Hawranek/Zygmunt143