TYTUŁ

Bulletin of the Section of Logic

Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680

LICZBA WOLUMINÓW 168

1991 / Tom 20 / Numer 3-4 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

Operators on branched quantifiers

s. 83 - 84

Mark A. Brown

CZYSTY TEKST
Mark A. Brown, Operators on branched quantifiers, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 83 - 84

BIBTEX
@Article{ authors = " Mark A. Brown", title = "Operators on branched quantifiers", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "83 - 84" }
Hilbert's e-symbol in the presence of generatized quantifiers

s. 85 - 87

Xavier Caicedo

CZYSTY TEKST
Xavier Caicedo, Hilbert's e-symbol in the presence of generatized quantifiers, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 85 - 87

BIBTEX
@Article{ authors = " Xavier Caicedo", title = "Hilbert's e-symbol in the presence of generatized quantifiers", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "85 - 87" }
Continous operations on spaces of structures

s. 88 - 89

Xavier Caicedo

CZYSTY TEKST
Xavier Caicedo, Continous operations on spaces of structures, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 88 - 89

BIBTEX
@Article{ authors = " Xavier Caicedo", title = "Continous operations on spaces of structures", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "88 - 89" }
The Mizar Project

s. 90 - 91

Andrzej Trybulec

CZYSTY TEKST
Andrzej Trybulec, The Mizar Project, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 90 - 91

BIBTEX
@Article{ authors = " Andrzej Trybulec", title = "The Mizar Project", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "90 - 91" }
PC Mizar Presentation

s. 92 - 93

Agata Darmochwal

CZYSTY TEKST
Agata Darmochwal, PC Mizar Presentation, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 92 - 93

BIBTEX
@Article{ authors = " Agata Darmochwal", title = "PC Mizar Presentation", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "92 - 93" }
The collapse of the descriptive complexity of truth definitions : completions of Heyting and Boolean algebras

s. 94 - 95

A.G. Dragalin

CZYSTY TEKST
A.G. Dragalin, The collapse of the descriptive complexity of truth definitions : completions of Heyting and Boolean algebras, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 94 - 95

BIBTEX
@Article{ authors = " A.G. Dragalin", title = "The collapse of the descriptive complexity of truth definitions : completions of Heyting and Boolean algebras", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "94 - 95" }
On models with automorphisms

s. 96

Heinz-Dieter Ebbinghaus

CZYSTY TEKST
Heinz-Dieter Ebbinghaus, On models with automorphisms, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 96

BIBTEX
@Article{ authors = " Heinz-Dieter Ebbinghaus", title = "On models with automorphisms", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "96" }
Some problems in topological model theory

s. 97

Jorg Flum

CZYSTY TEKST
Jorg Flum, Some problems in topological model theory, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 97

BIBTEX
@Article{ authors = " Jorg Flum", title = "Some problems in topological model theory", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "97" }
Finite generation problem and n-ary quantifiers

s. 98 - 99

Lauri Hella Kerkko Luosto

CZYSTY TEKST
Lauri Hella, Kerkko Luosto, Finite generation problem and n-ary quantifiers, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 98 - 99

BIBTEX
@Article{ authors = " Lauri Hella, Kerkko Luosto", title = "Finite generation problem and n-ary quantifiers", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "98 - 99" }
Generalized quantifiers and finite models

s. 100 - 101

Lauri Hella Gabriel Sandu

CZYSTY TEKST
Lauri Hella, Gabriel Sandu, Generalized quantifiers and finite models, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 100 - 101

BIBTEX
@Article{ authors = " Lauri Hella, Gabriel Sandu", title = "Generalized quantifiers and finite models", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "100 - 101" }
Decision problems for linear orderings in stationary logic

s. 102 - 104

Heinrich Herre

CZYSTY TEKST
Heinrich Herre, Decision problems for linear orderings in stationary logic, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 102 - 104

BIBTEX
@Article{ authors = " Heinrich Herre", title = "Decision problems for linear orderings in stationary logic", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "102 - 104" }
Small ninisimorphic models can be equivalent in long games

s. 105 - 106

Taneli Huuskonen

CZYSTY TEKST
Taneli Huuskonen, Small ninisimorphic models can be equivalent in long games, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 105 - 106

BIBTEX
@Article{ authors = " Taneli Huuskonen", title = "Small ninisimorphic models can be equivalent in long games", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "105 - 106" }
Some remarks on definable quantifiers

s. 107

Aleksandre A. Ivanov

CZYSTY TEKST
Aleksandre A. Ivanov, Some remarks on definable quantifiers, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 107

BIBTEX
@Article{ authors = " Aleksandre A. Ivanov", title = "Some remarks on definable quantifiers", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "107" }
Tannenbaum phenomena for bounded existential induction

s. 108

Richard Kaye

CZYSTY TEKST
Richard Kaye, Tannenbaum phenomena for bounded existential induction, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 108

BIBTEX
@Article{ authors = " Richard Kaye", title = "Tannenbaum phenomena for bounded existential induction", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "108" }
The $omega;1-like recursively saturated models of arithmetic

s. 109

Roman Kossak

CZYSTY TEKST
Roman Kossak, The $omega;1-like recursively saturated models of arithmetic, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 109

BIBTEX
@Article{ authors = " Roman Kossak", title = "The $omega;1-like recursively saturated models of arithmetic", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "109" }
Quantifiers determined by class of binary relations

s. 110

Michał Krynicki

CZYSTY TEKST
Michał Krynicki, Quantifiers determined by class of binary relations, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 110

BIBTEX
@Article{ authors = " Michał Krynicki", title = "Quantifiers determined by class of binary relations", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "110" }
Decidability results for classes of ordered abelian groups in logic with Ramsey Quantifiers

s. 111 - 112

Wolfgang Leński

CZYSTY TEKST
Wolfgang Leński, Decidability results for classes of ordered abelian groups in logic with Ramsey Quantifiers, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 111 - 112

BIBTEX
@Article{ authors = " Wolfgang Leński", title = "Decidability results for classes of ordered abelian groups in logic with Ramsey Quantifiers", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "111 - 112" }
Quantifiers definable by second order means

s. 113 - 114

Marcin Mostowski

CZYSTY TEKST
Marcin Mostowski, Quantifiers definable by second order means, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 113 - 114

BIBTEX
@Article{ authors = " Marcin Mostowski", title = "Quantifiers definable by second order means", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "113 - 114" }
Generalized quantifiers in algebra

s. 115

A.G. Pinus

CZYSTY TEKST
A.G. Pinus, Generalized quantifiers in algebra, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 115

BIBTEX
@Article{ authors = " A.G. Pinus", title = "Generalized quantifiers in algebra", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "115" }
Quantification over lines

s. 116

Heinz-Peter Tuschnik

CZYSTY TEKST
Heinz-Peter Tuschnik, Quantification over lines, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 116

BIBTEX
@Article{ authors = " Heinz-Peter Tuschnik", title = "Quantification over lines", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "116" }
Pre-ordered quantifiers in elementary sentences of natural language

s. 117 - 118

Marek M. Zawadowski

CZYSTY TEKST
Marek M. Zawadowski, Pre-ordered quantifiers in elementary sentences of natural language, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 117 - 118

BIBTEX
@Article{ authors = " Marek M. Zawadowski", title = "Pre-ordered quantifiers in elementary sentences of natural language", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "117 - 118" }
Non-axiomatizability of Grice's implicature

s. 119 - 123

Marek Tokarz

CZYSTY TEKST
Marek Tokarz, Non-axiomatizability of Grice's implicature, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 119 - 123

BIBTEX
@Article{ authors = " Marek Tokarz", title = "Non-axiomatizability of Grice's implicature", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "119 - 123" }
Characterization of the reduced matrices for the {&,or}-fragment of classical logic

s. 124 - 129

Josep Maria Font F. Guzman Ventura Verdu

CZYSTY TEKST
Josep Maria Font, F. Guzman, Ventura Verdu, Characterization of the reduced matrices for the {&,or}-fragment of classical logic, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 124 - 129

BIBTEX
@Article{ authors = " Josep Maria Font, F. Guzman, Ventura Verdu", title = "Characterization of the reduced matrices for the {&,or}-fragment of classical logic", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "124 - 129" }
A relation between namesakes in modal logic

s. 130 - 137

Timothy Wiliamson

CZYSTY TEKST
Timothy Wiliamson, A relation between namesakes in modal logic, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 130 - 137

BIBTEX
@Article{ authors = " Timothy Wiliamson", title = "A relation between namesakes in modal logic", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "130 - 137" }
Quasivarieties of modular ortholattices

s. 138 - 142

Jacek Malinowski

CZYSTY TEKST
Jacek Malinowski, Quasivarieties of modular ortholattices, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 138 - 142

BIBTEX
@Article{ authors = " Jacek Malinowski", title = "Quasivarieties of modular ortholattices", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "138 - 142" }
A sequel to Hawranek/Zygmunt

s. 143 - 144

Bogusław Wolniewicz

CZYSTY TEKST
Bogusław Wolniewicz, A sequel to Hawranek/Zygmunt, Bulletin of the Section of Logic, 1991 / Tom 20 / Numer 3-4, s. 143 - 144

BIBTEX
@Article{ authors = " Bogusław Wolniewicz", title = "A sequel to Hawranek/Zygmunt", journal = "Bulletin of the Section of Logic", issue = "1991 / Tom 20 / Numer 3-4", pages = "143 - 144" }