-
A note of incompleteness of modal logics with respect to neighbouthood semantics Opublikowano w: Bulletin of the Section of Logic 1978 / Tom 7 / Numer 4 / s. 185 - 1901978CZYSTY TEKST
Wiesław Dziobiak, A note of incompleteness of modal logics with respect to neighbouthood semantics, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 4, s. 185 - 190
BIBTEX@Article{ authors = " Wiesław Dziobiak", title = "A note of incompleteness of modal logics with respect to neighbouthood semantics", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 4", pages = "185 - 190" }
-
Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra Opublikowano w: Bulletin of the Section of Logic 1981 / Tom 10 / Numer 4 / s. 177 - 1801981CZYSTY TEKST
Wiesław Dziobiak, Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 4, s. 177 - 180
BIBTEX@Article{ authors = " Wiesław Dziobiak", title = "Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 4", pages = "177 - 180" }
-
An example of strongly finite consequence operation with continuum standard strengthenings Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 2 / s. 95 - 981979CZYSTY 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" }
-
A variety generated by a finite algebra with 2ω subvarieties Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 1 / s. 2 - 91980CZYSTY TEKST
Wiesław Dziobiak, A variety generated by a finite algebra with 2ω subvarieties, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 1, s. 2 - 9
BIBTEX@Article{ authors = " Wiesław Dziobiak", title = "A variety generated by a finite algebra with 2ω subvarieties", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 1", pages = "2 - 9" }
-
On distributivity of the lattice of subquasivarieties of a variety of Heyting algebras Opublikowano w: Bulletin of the Section of Logic 1983 / Tom 12 / Numer 1 / s. 37 - 401983CZYSTY TEKST
Wiesław Dziobiak, On distributivity of the lattice of subquasivarieties of a variety of Heyting algebras, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 1, s. 37 - 40
BIBTEX@Article{ authors = " Wiesław Dziobiak", title = "On distributivity of the lattice of subquasivarieties of a variety of Heyting algebras", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 1", pages = "37 - 40" }
-
There are 2ω with the relevance between R and RM Opublikowano w: Bulletin of the Section of Logic 1982 / Tom 11 / Numer 3-4 / s. 161 - 1661982CZYSTY TEKST
Wiesław Dziobiak, There are 2ω with the relevance between R and RM, Bulletin of the Section of Logic, 1982 / Tom 11 / Numer 3-4, s. 161 - 166
BIBTEX@Article{ authors = " Wiesław Dziobiak", title = "There are 2ω with the relevance between R and RM", journal = "Bulletin of the Section of Logic", issue = "1982 / Tom 11 / Numer 3-4", pages = "161 - 166" }
-
Non-existence of a countable strongly adequate matrix semantics for neighbours of E Opublikowano w: Bulletin of the Section of Logic 1981 / Tom 10 / Numer 4 / s. 170 - 1761981CZYSTY TEKST
Wiesław Dziobiak, Non-existence of a countable strongly adequate matrix semantics for neighbours of E, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 4, s. 170 - 176
BIBTEX@Article{ authors = " Wiesław Dziobiak", title = "Non-existence of a countable strongly adequate matrix semantics for neighbours of E", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 4", pages = "170 - 176" }
-
Modal systems related to S4n of Sobocinski Opublikowano w: Bulletin of the Section of Logic 1975 / Tom 4 / Numer 3 / s. 103 - 1061975CZYSTY TEKST
Jerzy J. Błaszczuk, Wiesław Dziobiak, Modal systems related to S4n of Sobocinski, Bulletin of the Section of Logic, 1975 / Tom 4 / Numer 3, s. 103 - 106
BIBTEX@Article{ authors = " Jerzy J. Błaszczuk, Wiesław Dziobiak", title = "Modal systems related to S4n of Sobocinski", journal = "Bulletin of the Section of Logic", issue = "1975 / Tom 4 / Numer 3", pages = "103 - 106" }
-
Structural completeness of modal logics containing K4 Opublikowano w: Bulletin of the Section of Logic 1983 / Tom 12 / Numer 1 / s. 32 - 361983CZYSTY TEKST
Wiesław Dziobiak, Structural completeness of modal logics containing K4, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 1, s. 32 - 36
BIBTEX@Article{ authors = " Wiesław Dziobiak", title = "Structural completeness of modal logics containing K4", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 1", pages = "32 - 36" }
-
Modal systems placed in the "triangle" S4-T1-T Opublikowano w: Bulletin of the Section of Logic 1975 / Tom 4 / Numer 4 / s. 138 - 1411975CZYSTY TEKST
Jerzy J. Błaszczuk, Wiesław Dziobiak, Modal systems placed in the "triangle" S4-T1-T, Bulletin of the Section of Logic, 1975 / Tom 4 / Numer 4, s. 138 - 141
BIBTEX@Article{ authors = " Jerzy J. Błaszczuk, Wiesław Dziobiak", title = "Modal systems placed in the "triangle" S4-T1-T", journal = "Bulletin of the Section of Logic", issue = "1975 / Tom 4 / Numer 4", pages = "138 - 141" }
-
On two notions concerning the structural sentential calculi Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 2 / s. 54 - 601979CZYSTY 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" }
-
Semantics of Kripke's style for some modal systems Opublikowano w: Bulletin of the Section of Logic 1976 / Tom 5 / Numer 2 / s. 63 - 661976CZYSTY TEKST
Wiesław Dziobiak, Semantics of Kripke's style for some modal systems, Bulletin of the Section of Logic, 1976 / Tom 5 / Numer 2, s. 63 - 66
BIBTEX@Article{ authors = " Wiesław Dziobiak", title = "Semantics of Kripke's style for some modal systems", journal = "Bulletin of the Section of Logic", issue = "1976 / Tom 5 / Numer 2", pages = "63 - 66" }
-
Remarks on Perzanowski's modal systems Opublikowano w: Bulletin of the Section of Logic 1975 / Tom 4 / Numer 2 / s. 57 - 621975CZYSTY TEKST
Jerzy J. Błaszczuk, Wiesław Dziobiak, Remarks on Perzanowski's modal systems, Bulletin of the Section of Logic, 1975 / Tom 4 / Numer 2, s. 57 - 62
BIBTEX@Article{ authors = " Jerzy J. Błaszczuk, Wiesław Dziobiak", title = "Remarks on Perzanowski's modal systems", journal = "Bulletin of the Section of Logic", issue = "1975 / Tom 4 / Numer 2", pages = "57 - 62" }
-
On two properties of structurally complete logics Opublikowano w: Bulletin of the Section of Logic 1982 / Tom 11 / Numer 3-4 / s. 154 - 1581982CZYSTY TEKST
Andrzej Biela, Wiesław Dziobiak, On two properties of structurally complete logics, Bulletin of the Section of Logic, 1982 / Tom 11 / Numer 3-4, s. 154 - 158
BIBTEX@Article{ authors = " Andrzej Biela, Wiesław Dziobiak", title = "On two properties of structurally complete logics", journal = "Bulletin of the Section of Logic", issue = "1982 / Tom 11 / Numer 3-4", pages = "154 - 158" }
-
On matrices characteristic of relevant logics Opublikowano w: Bulletin of the Section of Logic 1981 / Tom 10 / Numer 3 / s. 113 - 1151981CZYSTY TEKST
Wiesław Dziobiak, On matrices characteristic of relevant logics, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 3, s. 113 - 115
BIBTEX@Article{ authors = " Wiesław Dziobiak", title = "On matrices characteristic of relevant logics", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 3", pages = "113 - 115" }
-
Classically axiomatizable modal propositional calculi containing the system T of Feys-von Wright Opublikowano w: Bulletin of the Section of Logic 1976 / Tom 5 / Numer 1 / s. 20 - 241976CZYSTY TEKST
Wiesław Dziobiak, Classically axiomatizable modal propositional calculi containing the system T of Feys-von Wright, Bulletin of the Section of Logic, 1976 / Tom 5 / Numer 1, s. 20 - 24
BIBTEX@Article{ authors = " Wiesław Dziobiak", title = "Classically axiomatizable modal propositional calculi containing the system T of Feys-von Wright", journal = "Bulletin of the Section of Logic", issue = "1976 / Tom 5 / Numer 1", pages = "20 - 24" }
-
The degrees of maximality of the intuitionistic propositional logic and of some of its fragments Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 3 / s. 136 - 1401980CZYSTY TEKST
Wiesław Dziobiak, The degrees of maximality of the intuitionistic propositional logic and of some of its fragments, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 3, s. 136 - 140
BIBTEX@Article{ authors = " Wiesław Dziobiak", title = "The degrees of maximality of the intuitionistic propositional logic and of some of its fragments", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 3", pages = "136 - 140" }
-
An example concerning the lattice of the structural consequence operations Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 2 / s. 48 - 521979CZYSTY 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 strongly finite consequence operations Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 2 / s. 87 - 941979CZYSTY 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" }
-
Quasivariety generated by a finite Sugihara structure has finitely many subquasivarieties Opublikowano w: Bulletin of the Section of Logic 1983 / Tom 12 / Numer 1 / s. 27 - 311983CZYSTY TEKST
Wiesław Dziobiak, Quasivariety generated by a finite Sugihara structure has finitely many subquasivarieties, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 1, s. 27 - 31
BIBTEX@Article{ authors = " Wiesław Dziobiak", title = "Quasivariety generated by a finite Sugihara structure has finitely many subquasivarieties", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 1", pages = "27 - 31" }
