-
The Mizar Projects. 90 - 91CZYSTY 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 Presentations. 92 - 93CZYSTY 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" }
-
Operators on branched quantifierss. 83 - 84CZYSTY 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 quantifierss. 85 - 87CZYSTY 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 structuress. 88 - 89CZYSTY 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 collapse of the descriptive complexity of truth definitions : completions of Heyting and Boolean algebrass. 94 - 95CZYSTY 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 automorphismss. 96CZYSTY 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" }
-
Characterization of the reduced matrices for the {&,or}-fragment of classical logics. 124 - 129CZYSTY TEKST
Josep Maria Font, 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, 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 logics. 130 - 137CZYSTY TEKST
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 = "", 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" }
-
Some problems in topological model theorys. 97CZYSTY 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 quantifierss. 98 - 99CZYSTY 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 modelss. 100 - 101CZYSTY 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 logics. 102 - 104CZYSTY 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 gamess. 105 - 106CZYSTY 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 quantifierss. 107CZYSTY 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 inductions. 108CZYSTY 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 arithmetics. 109CZYSTY 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 relationss. 110CZYSTY 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 Quantifierss. 111 - 112CZYSTY 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 meanss. 113 - 114CZYSTY 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 algebras. 115CZYSTY 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 liness. 116CZYSTY 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 languages. 117 - 118CZYSTY 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 implicatures. 119 - 123CZYSTY 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" }
-
Quasivarieties of modular ortholatticess. 138 - 142CZYSTY 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/Zygmunts. 143 - 144CZYSTY 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" }
