Wiesław Dziobiak
20 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
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 - 9ROK: 1980CZYSTY TEKSTBIBTEX
-
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 - 24ROK: 1976CZYSTY TEKSTBIBTEX
-
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 - 31ROK: 1983CZYSTY TEKSTBIBTEX
-
Structural completeness of modal logics containing K4 Opublikowano w: Bulletin of the Section of Logic 1983 / Tom 12 / Numer 1 / s. 32 - 36ROK: 1983CZYSTY TEKSTBIBTEX
-
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 - 40ROK: 1983CZYSTY TEKSTBIBTEX
-
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 - 52ROK: 1979CZYSTY TEKSTBIBTEX
-
On two notions concerning the structural sentential calculi Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 2 / s. 54 - 60ROK: 1979CZYSTY TEKSTBIBTEX
-
Remarks on Perzanowski's modal systems Opublikowano w: Bulletin of the Section of Logic 1975 / Tom 4 / Numer 2 / s. 57 - 62ROK: 1975CZYSTY TEKSTBIBTEX
-
Semantics of Kripke's style for some modal systems Opublikowano w: Bulletin of the Section of Logic 1976 / Tom 5 / Numer 2 / s. 63 - 66ROK: 1976CZYSTY TEKSTBIBTEX
-
On strongly finite consequence operations Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 2 / s. 87 - 94ROK: 1979CZYSTY TEKSTBIBTEX
-
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 - 98ROK: 1979CZYSTY TEKSTBIBTEX
-
Modal systems related to S4n of Sobocinski Opublikowano w: Bulletin of the Section of Logic 1975 / Tom 4 / Numer 3 / s. 103 - 106ROK: 1975CZYSTY TEKSTBIBTEX
-
On matrices characteristic of relevant logics Opublikowano w: Bulletin of the Section of Logic 1981 / Tom 10 / Numer 3 / s. 113 - 115ROK: 1981CZYSTY TEKSTBIBTEX
-
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 - 140ROK: 1980CZYSTY TEKSTBIBTEX
-
Modal systems placed in the "triangle" S4-T1-T Opublikowano w: Bulletin of the Section of Logic 1975 / Tom 4 / Numer 4 / s. 138 - 141ROK: 1975CZYSTY TEKSTBIBTEX
-
On two properties of structurally complete logics Opublikowano w: Bulletin of the Section of Logic 1982 / Tom 11 / Numer 3-4 / s. 154 - 158ROK: 1982CZYSTY TEKSTBIBTEX
-
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 - 166ROK: 1982CZYSTY TEKSTBIBTEX
-
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 - 176ROK: 1981CZYSTY TEKSTBIBTEX
-
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 - 180ROK: 1981CZYSTY TEKSTBIBTEX
-
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 - 190ROK: 1978CZYSTY TEKSTBIBTEX
