-
On Direct Limit Closed Classes of Algebrass. 155 - 170CZYSTY TEKST
Emilia Haluskova, On Direct Limit Closed Classes of Algebras, Bulletin of the Section of Logic, 2016 / Tom 45 / Numer 3-4, s. 155 - 170
BIBTEX@Article{ authors = " Emilia Haluskova", title = "On Direct Limit Closed Classes of Algebras", journal = "Bulletin of the Section of Logic", issue = "2016 / Tom 45 / Numer 3-4", pages = "155 - 170" }
-
Interpolation in Normal Extensions of the Brouwer Logics. 171 - 186CZYSTY TEKST
Zofia Kostrzycka, Interpolation in Normal Extensions of the Brouwer Logic, Bulletin of the Section of Logic, 2016 / Tom 45 / Numer 3-4, s. 171 - 186
BIBTEX@Article{ authors = " Zofia Kostrzycka", title = "Interpolation in Normal Extensions of the Brouwer Logic", journal = "Bulletin of the Section of Logic", issue = "2016 / Tom 45 / Numer 3-4", pages = "171 - 186" }
-
Monadic Fragments of Intuitionistic Control Logics. 143 - 154CZYSTY TEKST
Anna Gleńszczyk, Monadic Fragments of Intuitionistic Control Logic, Bulletin of the Section of Logic, 2016 / Tom 45 / Numer 3-4, s. 143 - 154
BIBTEX@Article{ authors = " Anna Gleńszczyk", title = "Monadic Fragments of Intuitionistic Control Logic", journal = "Bulletin of the Section of Logic", issue = "2016 / Tom 45 / Numer 3-4", pages = "143 - 154" }
-
Characterization of Birkhoff's Conditions by Means of Cover-Preserving and Partially Cover-Preserving Sublatticess. 187 - 200CZYSTY TEKST
Marcin Łazarz, Characterization of Birkhoff's Conditions by Means of Cover-Preserving and Partially Cover-Preserving Sublattices, Bulletin of the Section of Logic, 2016 / Tom 45 / Numer 3-4, s. 187 - 200
BIBTEX@Article{ authors = " Marcin Łazarz", title = "Characterization of Birkhoff's Conditions by Means of Cover-Preserving and Partially Cover-Preserving Sublattices", journal = "Bulletin of the Section of Logic", issue = "2016 / Tom 45 / Numer 3-4", pages = "187 - 200" }
-
Decomposition of Congruence Modular Algebras into Atomic, Atomless Locally Uniform and Anti-Uniform Partss. 201 - 214CZYSTY TEKST
Bogdan Staruch, Bożena Staruch, Decomposition of Congruence Modular Algebras into Atomic, Atomless Locally Uniform and Anti-Uniform Parts, Bulletin of the Section of Logic, 2016 / Tom 45 / Numer 3-4, s. 201 - 214
BIBTEX@Article{ authors = " Bogdan Staruch, Bożena Staruch", title = "Decomposition of Congruence Modular Algebras into Atomic, Atomless Locally Uniform and Anti-Uniform Parts", journal = "Bulletin of the Section of Logic", issue = "2016 / Tom 45 / Numer 3-4", pages = "201 - 214" }
-
Irredundant Decomposition of Algebras into One-Dimensional Factorss. 215 - 240CZYSTY TEKST
Bogdan Staruch, Irredundant Decomposition of Algebras into One-Dimensional Factors, Bulletin of the Section of Logic, 2016 / Tom 45 / Numer 3-4, s. 215 - 240
BIBTEX@Article{ authors = " Bogdan Staruch", title = "Irredundant Decomposition of Algebras into One-Dimensional Factors", journal = "Bulletin of the Section of Logic", issue = "2016 / Tom 45 / Numer 3-4", pages = "215 - 240" }
-
Some Algebraic and Algorithmic Problems in Acoustocerebrographys. 241 - 258CZYSTY TEKST
Adam Kolany, Mirosław Wróbel, Some Algebraic and Algorithmic Problems in Acoustocerebrography, Bulletin of the Section of Logic, 2016 / Tom 45 / Numer 3-4, s. 241 - 258
BIBTEX@Article{ authors = " Adam Kolany, Mirosław Wróbel", title = "Some Algebraic and Algorithmic Problems in Acoustocerebrography", journal = "Bulletin of the Section of Logic", issue = "2016 / Tom 45 / Numer 3-4", pages = "241 - 258" }
-
Preserving Filtering Unification By Adding Compatible Operations To Some Heyting Algebrass. 259 - 269CZYSTY TEKST
Wojciech Dzik, Sandor Radeleczki, Preserving Filtering Unification By Adding Compatible Operations To Some Heyting Algebras, Bulletin of the Section of Logic, 2016 / Tom 45 / Numer 3-4, s. 259 - 269
BIBTEX@Article{ authors = " Wojciech Dzik, Sandor Radeleczki", title = "Preserving Filtering Unification By Adding Compatible Operations To Some Heyting Algebras", journal = "Bulletin of the Section of Logic", issue = "2016 / Tom 45 / Numer 3-4", pages = "259 - 269" }
