The following pages link to Wiesław Dziobiak (Q690108):
Displaying 50 items.
- An answer to a question of D. Pigozzi (Q690109) (← links)
- There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM (Q793002) (← links)
- Another proof that \(ISP_ r(K)\) is the least quasivariety containing K (Q795076) (← links)
- On distributivity of the lattice of subquasivarieties of a locally finite semi-simple arithmetical variety (Q799716) (← links)
- Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic (Q800356) (← links)
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class (Q909692) (← links)
- (Q1005980) (redirect page) (← links)
- Equivalents for a quasivariety to be generated by a single structure (Q1005982) (← links)
- Minimal varieties and quasivarieties of semilattices with one automorphism (Q1014253) (← links)
- (Q1047089) (redirect page) (← links)
- Avoidable structures. I: Finite ordered sets, semilattices and lattices (Q1047090) (← links)
- Avoidable structures. II: Finite distributive lattices and nicely structured ordered sets (Q1047091) (← links)
- On finite approximability of psi-intermediate logics (Q1054716) (← links)
- Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra (Q1073065) (← links)
- On subquasivariety lattices of some varieties related with distributive p-algebras (Q1073820) (← links)
- On lattice identities satisfied in subquasivariety lattices of varieties of modular lattices (Q1086265) (← links)
- On atoms in the lattice of quasivarieties (Q1101140) (← links)
- An example of strongly finite consequence operation with \(2^ (\aleph_ 0)\) standard strengthenings (Q1153076) (← links)
- The degrees of maximality of the intuitionistic propositional logic and of some of its fragments (Q1159192) (← links)
- On infinite subdirectly irreducible algebras in locally finite equational classes (Q1160203) (← links)
- A variety generated by a finite algebra with \(2^{\aleph_0}\) subvarieties (Q1160209) (← links)
- The lattice of strengthenings of a strongly finite consequence operation (Q1161517) (← links)
- Strong completeness with respect to finite Kripke models (Q1167163) (← links)
- Finite bases for finitely generated, relatively congruence distributive quasivarities (Q1179764) (← links)
- A single quasi-identity for a quasivariety with the Fraser-Horn property (Q1185227) (← links)
- A deduction theorem schema for deductive systems of propositional logics (Q1189891) (← links)
- On detachment-substitutional formalization in normal modal logics (Q1240211) (← links)
- Modal logics connected with systems \(S4_n\) of Sobocinski (Q1240213) (← links)
- Algebraic point lattices of quasivarieties (Q1593962) (← links)
- Viktor Aleksandrovich Gorbunov (1950 -- 1999). (Q1771853) (← links)
- On the lattice of quasivarieties of Sugihara algebras (Q1821123) (← links)
- The parameterized local deduction theorem for quasivarieties of algebras and its application (Q1918964) (← links)
- On subquasivariety lattices of semi-primal varieties (Q2266036) (← links)
- In memory of Willem Johannes Blok 1947-2003 (Q2433091) (← links)
- (Q2709298) (← links)
- (Q3048814) (← links)
- (Q3050400) (← links)
- (Q3050401) (← links)
- (Q3218183) (← links)
- (Q3322076) (← links)
- (Q3340835) (← links)
- Finitely generated congruence distributive quasivarieties of algebras (Q3351421) (← links)
- The weak extension property and finite axiomatizability for quasivarieties (Q3600925) (← links)
- (Q3659757) (← links)
- The subvariety lattice of the variety of distributive double <i>p</i>-algebras (Q3701478) (← links)
- (Q3762371) (← links)
- (Q3852159) (← links)
- (Q3867810) (← links)
- (Q3893898) (← links)
- (Q3941384) (← links)
