TYTUŁ

Bulletin of the Section of Logic Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680 None

LICZBA WOLUMINÓW 51

1983 / Tom 12 / Numer 2 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

Commutative BCK-algebras do not enjoy the interpolation property

s. 50 - 54

Piotr S. Krzystek

CZYSTY TEKST
Piotr S. Krzystek, Commutative BCK-algebras do not enjoy the interpolation property, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 2, s. 50 - 54

BIBTEX
@Article{ authors = " Piotr S. Krzystek", title = "Commutative BCK-algebras do not enjoy the interpolation property", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 2", pages = "50 - 54" }
Some remarks on WMV-algebras

s. 55 - 63

Kazimiera Dyrda

CZYSTY TEKST
Kazimiera Dyrda, Some remarks on WMV-algebras, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 2, s. 55 - 63

BIBTEX
@Article{ authors = " Kazimiera Dyrda", title = "Some remarks on WMV-algebras", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 2", pages = "55 - 63" }
Total correctness in nonstandard dynamic logic

s. 64 - 70

Ildiko Sain

CZYSTY TEKST
Ildiko Sain, Total correctness in nonstandard dynamic logic, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 2, s. 64 - 70

BIBTEX
@Article{ authors = " Ildiko Sain", title = "Total correctness in nonstandard dynamic logic", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 2", pages = "64 - 70" }
Topological representation of atomic co-diagonalizable algebras

s. 71 - 72

Tadeusz Prucnal

CZYSTY TEKST
Tadeusz Prucnal, Topological representation of atomic co-diagonalizable algebras, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 2, s. 71 - 72

BIBTEX
@Article{ authors = " Tadeusz Prucnal", title = "Topological representation of atomic co-diagonalizable algebras", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 2", pages = "71 - 72" }
Models of three-valued calculi in inplicational S5

s. 73 - 75

Dolph Ulrich

CZYSTY TEKST
Dolph Ulrich, Models of three-valued calculi in inplicational S5, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 2, s. 73 - 75

BIBTEX
@Article{ authors = " Dolph Ulrich", title = "Models of three-valued calculi in inplicational S5", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 2", pages = "73 - 75" }
A finite base for the consequence operation

s. 76 - 89

Paweł M. Idziak

CZYSTY TEKST
Paweł M. Idziak, A finite base for the consequence operation, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 2, s. 76 - 89

BIBTEX
@Article{ authors = " Paweł M. Idziak", title = "A finite base for the consequence operation", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 2", pages = "76 - 89" }