-
On complete bundless of locally valid identitiess. 202 - 206CZYSTY TEKST
Tomasz Furmanowski, On complete bundless of locally valid identities, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 4, s. 202 - 206
BIBTEX@Article{ authors = " Tomasz Furmanowski", title = "On complete bundless of locally valid identities", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 4", pages = "202 - 206" }
-
Conjunction without conditions in illative combinatory logics. 207 - 213CZYSTY TEKST
Martin W. Bunder, Conjunction without conditions in illative combinatory logic, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 4, s. 207 - 213
BIBTEX@Article{ authors = " Martin W. Bunder", title = "Conjunction without conditions in illative combinatory logic", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 4", pages = "207 - 213" }
-
Topological duality for Nelson algebras and its applications. 215 - 219CZYSTY TEKST
Andrzej Sendlewski, Topological duality for Nelson algebras and its application, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 4, s. 215 - 219
BIBTEX@Article{ authors = " Andrzej Sendlewski", title = "Topological duality for Nelson algebras and its application", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 4", pages = "215 - 219" }
-
The sufficient and necessary condition for Tarski's property in Lindenbaum's extensionss. 222 - 224CZYSTY TEKST
Teodor Stępień, The sufficient and necessary condition for Tarski's property in Lindenbaum's extensions, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 4, s. 222 - 224
BIBTEX@Article{ authors = " Teodor Stępień", title = "The sufficient and necessary condition for Tarski's property in Lindenbaum's extensions", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 4", pages = "222 - 224" }
-
An elementary method of determining the degree of completeness of n-valued Lukasiewicz propositional calculuss. 226 - 228CZYSTY TEKST
Wojciech Suchoń, An elementary method of determining the degree of completeness of n-valued Lukasiewicz propositional calculus, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 4, s. 226 - 228
BIBTEX@Article{ authors = " Wojciech Suchoń", title = "An elementary method of determining the degree of completeness of n-valued Lukasiewicz propositional calculus", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 4", pages = "226 - 228" }
-
On isomorphic but not lower-base-isomorphic cylindric set algebrass. 230 - 232CZYSTY TEKST
Balaza Biro, On isomorphic but not lower-base-isomorphic cylindric set algebras, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 4, s. 230 - 232
BIBTEX@Article{ authors = " Balaza Biro", title = "On isomorphic but not lower-base-isomorphic cylindric set algebras", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 4", pages = "230 - 232" }
-
Proof tableau formulations of some first-order relevant ortho-logicss. 233 - 239CZYSTY TEKST
Michael A. McRobbie, Nuel D. Belnap, Proof tableau formulations of some first-order relevant ortho-logics, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 4, s. 233 - 239
BIBTEX@Article{ authors = " Michael A. McRobbie, Nuel D. Belnap", title = "Proof tableau formulations of some first-order relevant ortho-logics", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 4", pages = "233 - 239" }
-
On the axiomatic systems of syntactically-categorial languagess. 241 - 249CZYSTY TEKST
Urszula Wybraniec-Skardowska, On the axiomatic systems of syntactically-categorial languages, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 4, s. 241 - 249
BIBTEX@Article{ authors = " Urszula Wybraniec-Skardowska", title = "On the axiomatic systems of syntactically-categorial languages", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 4", pages = "241 - 249" }
-
Slupecki's fragmentary systemss. 252 - 254CZYSTY TEKST
Grzegorz Bryll, Katarzyna Hałkowska, Slupecki's fragmentary systems, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 4, s. 252 - 254
BIBTEX@Article{ authors = " Grzegorz Bryll, Katarzyna Hałkowska", title = "Slupecki's fragmentary systems", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 4", pages = "252 - 254" }
-
A topology for logical spaces. 255 - 258CZYSTY TEKST
Bogusław Wolniewicz, A topology for logical space, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 4, s. 255 - 258
BIBTEX@Article{ authors = " Bogusław Wolniewicz", title = "A topology for logical space", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 4", pages = "255 - 258" }
