TYTUŁ

Bulletin of the Section of Logic Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680 None

LICZBA WOLUMINÓW 51

1979 / Tom 8 / Numer 4 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

Referential matrix semantics for propositional calculi

s. 170 - 176

Ryszard Wójcicki

CZYSTY TEKST
Ryszard Wójcicki, Referential matrix semantics for propositional calculi, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 4, s. 170 - 176

BIBTEX
@Article{ authors = " Ryszard Wójcicki", title = "Referential matrix semantics for propositional calculi", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 4", pages = "170 - 176" }
Paraconsistent combinatory logic

s. 177 - 181

Martin W. Bunder

CZYSTY TEKST
Martin W. Bunder, Paraconsistent combinatory logic, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 4, s. 177 - 181

BIBTEX
@Article{ authors = " Martin W. Bunder", title = "Paraconsistent combinatory logic", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 4", pages = "177 - 181" }
On equivalential fragment of the three-valued logic of Lukasiewicz

s. 182 - 187

Jacek K. Kabziński

CZYSTY TEKST
Jacek K. Kabziński, On equivalential fragment of the three-valued logic of Lukasiewicz, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 4, s. 182 - 187

BIBTEX
@Article{ authors = " Jacek K. Kabziński", title = "On equivalential fragment of the three-valued logic of Lukasiewicz", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 4", pages = "182 - 187" }
On congruence lattices of commutative BCK-algebras

s. 188 - 190

Marek Pałasiński Barbara Woźniakowska

CZYSTY TEKST
Marek Pałasiński, Barbara Woźniakowska, On congruence lattices of commutative BCK-algebras, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 4, s. 188 - 190

BIBTEX
@Article{ authors = " Marek Pałasiński, Barbara Woźniakowska", title = "On congruence lattices of commutative BCK-algebras", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 4", pages = "188 - 190" }
Metric postulates for modular, distributive, and Boolean lattices

s. 191 - 196

David Miller

CZYSTY TEKST
David Miller, Metric postulates for modular, distributive, and Boolean lattices, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 4, s. 191 - 196

BIBTEX
@Article{ authors = " David Miller", title = "Metric postulates for modular, distributive, and Boolean lattices", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 4", pages = "191 - 196" }
On intermediate logics which can be axiomatised by means of implicationless formulas

s. 197 - 201

CZYSTY TEKST
On intermediate logics which can be axiomatised by means of implicationless formulas, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 4, s. 197 - 201

BIBTEX
@Article{ authors = "", title = "On intermediate logics which can be axiomatised by means of implicationless formulas", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 4", pages = "197 - 201" }
On standard consequence operations in the implicationless language

s. 202 - 204

CZYSTY TEKST
On standard consequence operations in the implicationless language, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 4, s. 202 - 204

BIBTEX
@Article{ authors = "", title = "On standard consequence operations in the implicationless language", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 4", pages = "202 - 204" }