-
Axiomatization of the logics determined by finite relational systems of natural numbers with identitys. 152 - 155CZYSTY TEKST
Kazimiera Dyrda, Axiomatization of the logics determined by finite relational systems of natural numbers with identity, Bulletin of the Section of Logic, 1998 / Tom 27 / Numer 4, s. 152 - 155
BIBTEX@Article{ authors = " Kazimiera Dyrda", title = "Axiomatization of the logics determined by finite relational systems of natural numbers with identity", journal = "Bulletin of the Section of Logic", issue = "1998 / Tom 27 / Numer 4", pages = "152 - 155" }
-
Arithmetizations of the syllogistic a la Leibnizs. 156 - 163CZYSTY TEKST
Vladimir Sotirov, Arithmetizations of the syllogistic a la Leibniz, Bulletin of the Section of Logic, 1998 / Tom 27 / Numer 4, s. 156 - 163
BIBTEX@Article{ authors = " Vladimir Sotirov", title = "Arithmetizations of the syllogistic a la Leibniz", journal = "Bulletin of the Section of Logic", issue = "1998 / Tom 27 / Numer 4", pages = "156 - 163" }
-
Description of self-admissible quasi-characterizing inference ruless. 164 - 171CZYSTY TEKST
C. Gencer, Vladimir V. Rybakov, M. Terziler, Description of self-admissible quasi-characterizing inference rules, Bulletin of the Section of Logic, 1998 / Tom 27 / Numer 4, s. 164 - 171
BIBTEX@Article{ authors = " C. Gencer, Vladimir V. Rybakov, M. Terziler", title = "Description of self-admissible quasi-characterizing inference rules", journal = "Bulletin of the Section of Logic", issue = "1998 / Tom 27 / Numer 4", pages = "164 - 171" }
-
The structure of rigid frames of restricted depths. 172 - 181CZYSTY TEKST
Vladimir V. Rybakov, The structure of rigid frames of restricted depth, Bulletin of the Section of Logic, 1998 / Tom 27 / Numer 4, s. 172 - 181
BIBTEX@Article{ authors = " Vladimir V. Rybakov", title = "The structure of rigid frames of restricted depth", journal = "Bulletin of the Section of Logic", issue = "1998 / Tom 27 / Numer 4", pages = "172 - 181" }
-
Kripke incompleteness of some predicate extensions of modal subframe logics without finite embedding propertys. 182 - 189CZYSTY TEKST
Eiko Isoda, Tatsuya Shimura, Kripke incompleteness of some predicate extensions of modal subframe logics without finite embedding property, Bulletin of the Section of Logic, 1998 / Tom 27 / Numer 4, s. 182 - 189
BIBTEX@Article{ authors = " Eiko Isoda, Tatsuya Shimura", title = "Kripke incompleteness of some predicate extensions of modal subframe logics without finite embedding property", journal = "Bulletin of the Section of Logic", issue = "1998 / Tom 27 / Numer 4", pages = "182 - 189" }
-
A model Theoretic characterization of complexity of theoriess. 190 - 195CZYSTY TEKST
Gabor Sagi, A model Theoretic characterization of complexity of theories, Bulletin of the Section of Logic, 1998 / Tom 27 / Numer 4, s. 190 - 195
BIBTEX@Article{ authors = " Gabor Sagi", title = "A model Theoretic characterization of complexity of theories", journal = "Bulletin of the Section of Logic", issue = "1998 / Tom 27 / Numer 4", pages = "190 - 195" }
-
Reasoning with partial situationss. 196 - 206CZYSTY TEKST
Zbigniew Stachniak, Reasoning with partial situations, Bulletin of the Section of Logic, 1998 / Tom 27 / Numer 4, s. 196 - 206
BIBTEX@Article{ authors = " Zbigniew Stachniak", title = "Reasoning with partial situations", journal = "Bulletin of the Section of Logic", issue = "1998 / Tom 27 / Numer 4", pages = "196 - 206" }
