Wyniki
-
A note of incompleteness of modal logics with respect to neighbouthood semantics
Wiesław Dziobiak
Bulletin of the Section of Logic , 7 /4 (1978) s. 185-190 -
An example concerning the lattice of the structural consequence operations
Wiesław Dziobiak
Bulletin of the Section of Logic , 8 /2 (1979) s. 48-52 -
On strongly finite consequence operations
Wiesław Dziobiak
Bulletin of the Section of Logic , 8 /2 (1979) s. 87-94 -
An example of strongly finite consequence operation with continuum standard strengthenings
Wiesław Dziobiak
Bulletin of the Section of Logic , 8 /2 (1979) s. 95-98 -
A variety generated by a finite algebra with 2ω subvarieties
Wiesław Dziobiak
Bulletin of the Section of Logic , 9 /1 (1980) s. 2-9 -
The degrees of maximality of the intuitionistic propositional logic and of some of its fragments
Wiesław Dziobiak
Bulletin of the Section of Logic , 9 /3 (1980) s. 136-140 -
On matrices characteristic of relevant logics
Wiesław Dziobiak
Bulletin of the Section of Logic , 10 /3 (1981) s. 113-115 -
Non-existence of a countable strongly adequate matrix semantics for neighbours of E
Wiesław Dziobiak
Bulletin of the Section of Logic , 10 /4 (1981) s. 170-176 -
Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
Wiesław Dziobiak
Bulletin of the Section of Logic , 10 /4 (1981) s. 177-180 -
There are 2ω with the relevance between R and RM
Wiesław Dziobiak
Bulletin of the Section of Logic , 11 /3-4 (1982) s. 161-166 -
Quasivariety generated by a finite Sugihara structure has finitely many subquasivarieties
Wiesław Dziobiak
Bulletin of the Section of Logic , 12 /1 (1983) s. 27-31 -
Structural completeness of modal logics containing K4
Wiesław Dziobiak
Bulletin of the Section of Logic , 12 /1 (1983) s. 32-36 -
On distributivity of the lattice of subquasivarieties of a variety of Heyting algebras
Wiesław Dziobiak
Bulletin of the Section of Logic , 12 /1 (1983) s. 37-40 -
Classically axiomatizable modal propositional calculi containing the system T of Feys-von Wright
Wiesław Dziobiak
Bulletin of the Section of Logic , 5 /1 (1976) s. 20-24 -
Semantics of Kripke's style for some modal systems
Wiesław Dziobiak
Bulletin of the Section of Logic , 5 /2 (1976) s. 63-66