-
An example concerning the lattice of the structural consequence operationss. 48 - 52CZYSTY TEKST
Wiesław Dziobiak, An example concerning the lattice of the structural consequence operations, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 2, s. 48 - 52
BIBTEX@Article{ authors = " Wiesław Dziobiak", title = "An example concerning the lattice of the structural consequence operations", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 2", pages = "48 - 52" }
-
On two notions concerning the structural sentential calculis. 54 - 60CZYSTY TEKST
Wiesław Dziobiak, On two notions concerning the structural sentential calculi, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 2, s. 54 - 60
BIBTEX@Article{ authors = " Wiesław Dziobiak", title = "On two notions concerning the structural sentential calculi", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 2", pages = "54 - 60" }
-
Finite structural axiomatization of every finite-valued propositional calculuss. 61 - 67CZYSTY TEKST
Zdzisław Dywan, Finite structural axiomatization of every finite-valued propositional calculus, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 2, s. 61 - 67
BIBTEX@Article{ authors = " Zdzisław Dywan", title = "Finite structural axiomatization of every finite-valued propositional calculus", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 2", pages = "61 - 67" }
-
A three element matrix whose consequence operation is not finitely baseds. 68 - 70CZYSTY TEKST
Andrzej Wroński, A three element matrix whose consequence operation is not finitely based, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 2, s. 68 - 70
BIBTEX@Article{ authors = " Andrzej Wroński", title = "A three element matrix whose consequence operation is not finitely based", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 2", pages = "68 - 70" }
-
Matrix representations for structural strengthenings of a propositional logics. 72 - 78CZYSTY TEKST
Piotr Wojtylak, Matrix representations for structural strengthenings of a propositional logic, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 2, s. 72 - 78
BIBTEX@Article{ authors = " Piotr Wojtylak", title = "Matrix representations for structural strengthenings of a propositional logic", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 2", pages = "72 - 78" }
-
Large matrices which induce finite consequence operationss. 79 - 82CZYSTY TEKST
Janusz Czelakowski, Large matrices which induce finite consequence operations, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 2, s. 79 - 82
BIBTEX@Article{ authors = " Janusz Czelakowski", title = "Large matrices which induce finite consequence operations", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 2", pages = "79 - 82" }
-
A characterization of Matr(C)s. 83 - 86CZYSTY TEKST
Janusz Czelakowski, A characterization of Matr(C), Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 2, s. 83 - 86
BIBTEX@Article{ authors = " Janusz Czelakowski", title = "A characterization of Matr(C)", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 2", pages = "83 - 86" }
-
On strongly finite consequence operationss. 87 - 94CZYSTY TEKST
Wiesław Dziobiak, On strongly finite consequence operations, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 2, s. 87 - 94
BIBTEX@Article{ authors = " Wiesław Dziobiak", title = "On strongly finite consequence operations", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 2", pages = "87 - 94" }
-
An example of strongly finite consequence operation with continuum standard strengtheningss. 95 - 98CZYSTY TEKST
Wiesław Dziobiak, An example of strongly finite consequence operation with continuum standard strengthenings, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 2, s. 95 - 98
BIBTEX@Article{ authors = " Wiesław Dziobiak", title = "An example of strongly finite consequence operation with continuum standard strengthenings", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 2", pages = "95 - 98" }
-
Strongly finie logics: Finite axiomatizability and the problem of supremums. 99 - 111CZYSTY TEKST
Piotr Wojtylak, Strongly finie logics: Finite axiomatizability and the problem of supremum, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 2, s. 99 - 111
BIBTEX@Article{ authors = " Piotr Wojtylak", title = "Strongly finie logics: Finite axiomatizability and the problem of supremum", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 2", pages = "99 - 111" }
-
Entailment relations and matrices Is. 112 - 119CZYSTY TEKST
Jan Zygmunt, Entailment relations and matrices I, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 2, s. 112 - 119
BIBTEX@Article{ authors = " Jan Zygmunt", title = "Entailment relations and matrices I", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 2", pages = "112 - 119" }
