Bulletin of the Section of Logic
Tom 20 ( 1991), Nr 3-4

Wydawnictwo Uniwersytetu Łódzkiego
ISSN 0138-0680

Zaznaczone:

do góry

Operators on branched quantifiers

Mark A. Brown
Hilbert's e-symbol in the presence of generatized quantifiers

Xavier Caicedo
Continous operations on spaces of structures

Xavier Caicedo
The Mizar Project

Andrzej Trybulec
PC Mizar Presentation

Agata Darmochwal
The collapse of the descriptive complexity of truth definitions : completions of Heyting and Boolean algebras

A.G. Dragalin
On models with automorphisms

Heinz-Dieter Ebbinghaus
Some problems in topological model theory

Jorg Flum
Finite generation problem and n-ary quantifiers

Lauri Hella Kerkko Luosto
Generalized quantifiers and finite models

Lauri Hella Gabriel Sandu
Decision problems for linear orderings in stationary logic

Heinrich Herre
Small ninisimorphic models can be equivalent in long games

Taneli Huuskonen
Some remarks on definable quantifiers

Aleksandre A. Ivanov
Tannenbaum phenomena for bounded existential induction

Richard Kaye
The $omega;1-like recursively saturated models of arithmetic

Roman Kossak
Quantifiers determined by class of binary relations

Michał Krynicki
Decidability results for classes of ordered abelian groups in logic with Ramsey Quantifiers

Wolfgang Leński
Quantifiers definable by second order means

Marcin Mostowski
Generalized quantifiers in algebra

A.G. Pinus
Quantification over lines

Heinz-Peter Tuschnik
Pre-ordered quantifiers in elementary sentences of natural language

Marek M. Zawadowski
Non-axiomatizability of Grice's implicature

Marek Tokarz
Characterization of the reduced matrices for the {&,or}-fragment of classical logic

Josep Maria Font F. Guzman Ventura Verdu
A relation between namesakes in modal logic

Timothy Wiliamson
Quasivarieties of modular ortholattices

Jacek Malinowski
A sequel to Hawranek

Bogusław Wolniewicz

Muzeum Historii
Polski w Warszawie

Materiały zamieszczone na stronie są dostępna na licencji CC BY-SA
Projekt graficzny serwisu: Veshch

Bulletin of the Section of Logic Tom 20 ( 1991), Nr 3-4

Załóż konto

Zaloguj się

Bulletin of the Section of Logic
Tom 20 ( 1991), Nr 3-4