TYTUŁ

Bulletin of the Section of Logic Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680 None

LICZBA WOLUMINÓW 51

1978 / Tom 7 / Numer 3 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

Weakest normal calculi with respect to Mn-counterparts

s. 102 - 106

Jerzy J. Błaszczuk

CZYSTY TEKST
Jerzy J. Błaszczuk, Weakest normal calculi with respect to Mn-counterparts, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 3, s. 102 - 106

BIBTEX
@Article{ authors = " Jerzy J. Błaszczuk", title = "Weakest normal calculi with respect to Mn-counterparts", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 3", pages = "102 - 106" }
Threshold logic

s. 107 - 114

Krzysztof Ciesielski

CZYSTY TEKST
Krzysztof Ciesielski, Threshold logic, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 3, s. 107 - 114

BIBTEX
@Article{ authors = " Krzysztof Ciesielski", title = "Threshold logic", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 3", pages = "107 - 114" }
Completeness of Floyd logic

s. 115 - 120

Hajnal Andreka Istvan Nemeti

CZYSTY TEKST
Hajnal Andreka, Istvan Nemeti, Completeness of Floyd logic, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 3, s. 115 - 120

BIBTEX
@Article{ authors = " Hajnal Andreka, Istvan Nemeti", title = "Completeness of Floyd logic", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 3", pages = "115 - 120" }
The existence of matrices strongly adequate for E, R and their fragments

s. 121 - 128

Marek Tokarz

CZYSTY TEKST
Marek Tokarz, The existence of matrices strongly adequate for E, R and their fragments, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 3, s. 121 - 128

BIBTEX
@Article{ authors = " Marek Tokarz", title = "The existence of matrices strongly adequate for E, R and their fragments", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 3", pages = "121 - 128" }
Decidability of structural completeness for strongly finite propositional calculi

s. 129 - 132

Zdzisław Dywan

CZYSTY TEKST
Zdzisław Dywan, Decidability of structural completeness for strongly finite propositional calculi, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 3, s. 129 - 132

BIBTEX
@Article{ authors = " Zdzisław Dywan", title = "Decidability of structural completeness for strongly finite propositional calculi", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 3", pages = "129 - 132" }
On some matrix of the Birkhoff and V.Neumann quantum logic

s. 133 - 136

Mirosław Majewski

CZYSTY TEKST
Mirosław Majewski, On some matrix of the Birkhoff and V.Neumann quantum logic, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 3, s. 133 - 136

BIBTEX
@Article{ authors = " Mirosław Majewski", title = "On some matrix of the Birkhoff and V.Neumann quantum logic", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 3", pages = "133 - 136" }
On Friedman's problem in mathematical logic

s. 137 - 140

Tadeusz Prucnal

CZYSTY TEKST
Tadeusz Prucnal, On Friedman's problem in mathematical logic, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 3, s. 137 - 140

BIBTEX
@Article{ authors = " Tadeusz Prucnal", title = "On Friedman's problem in mathematical logic", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 3", pages = "137 - 140" }
Objectives of propositions

s. 143 - 151

Bogusław Wolniewicz

CZYSTY TEKST
Bogusław Wolniewicz, Objectives of propositions, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 3, s. 143 - 151

BIBTEX
@Article{ authors = " Bogusław Wolniewicz", title = "Objectives of propositions", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 3", pages = "143 - 151" }