-
Identity, Equality, Nameability and Completeness. Part IIs. 141 - 158CZYSTY TEKST
Maria Manzano, Manuel Crescenio Moreno, Identity, Equality, Nameability and Completeness. Part II, Bulletin of the Section of Logic, 2018 / Tom 47 / Numer 3, s. 141 - 158
BIBTEX@Article{ authors = " Maria Manzano, Manuel Crescenio Moreno", title = "Identity, Equality, Nameability and Completeness. Part II", journal = "Bulletin of the Section of Logic", issue = "2018 / Tom 47 / Numer 3", pages = "141 - 158" }
-
On Interpolation in NEXT(KB.Alt(2))s. 159 - 170CZYSTY TEKST
Zofia Kostrzycka, On Interpolation in NEXT(KB.Alt(2)), Bulletin of the Section of Logic, 2018 / Tom 47 / Numer 3, s. 159 - 170
BIBTEX@Article{ authors = " Zofia Kostrzycka", title = "On Interpolation in NEXT(KB.Alt(2))", journal = "Bulletin of the Section of Logic", issue = "2018 / Tom 47 / Numer 3", pages = "159 - 170" }
-
B-almost distributive fuzzy lattices. 171 - 185CZYSTY TEKST
Berhanu Assaye, Mihret Alemneh, Gerima Tefera, B-almost distributive fuzzy lattice, Bulletin of the Section of Logic, 2018 / Tom 47 / Numer 3, s. 171 - 185
BIBTEX@Article{ authors = " Berhanu Assaye, Mihret Alemneh, Gerima Tefera", title = "B-almost distributive fuzzy lattice", journal = "Bulletin of the Section of Logic", issue = "2018 / Tom 47 / Numer 3", pages = "171 - 185" }
-
A comparison of two systems of point-free topologys. 187 - 200CZYSTY TEKST
Rafał Gruszczyński, Andrzej Pietruszczak, A comparison of two systems of point-free topology, Bulletin of the Section of Logic, 2018 / Tom 47 / Numer 3, s. 187 - 200
BIBTEX@Article{ authors = " Rafał Gruszczyński, Andrzej Pietruszczak", title = "A comparison of two systems of point-free topology", journal = "Bulletin of the Section of Logic", issue = "2018 / Tom 47 / Numer 3", pages = "187 - 200" }
-
A post-style poof of completeness theorem for symmetric relatedness logic Ss. 201 - 215CZYSTY TEKST
Mateusz Klonowski, A post-style poof of completeness theorem for symmetric relatedness logic S, Bulletin of the Section of Logic, 2018 / Tom 47 / Numer 3, s. 201 - 215
BIBTEX@Article{ authors = " Mateusz Klonowski", title = "A post-style poof of completeness theorem for symmetric relatedness logic S", journal = "Bulletin of the Section of Logic", issue = "2018 / Tom 47 / Numer 3", pages = "201 - 215" }