The following pages link to Willem J. Blok (Q1355601):
Displayed 50 items.
- Item:Q1355601 (redirect page) (← links)
- An axiomatization of the modal theory of the veiled recession frame (Q599806) (← links)
- On the structure of varieties with equationally definable principal congruences. II (Q762523) (← links)
- On interpretations of varieties with semilattice reduct (Q804615) (← links)
- A finite basis theorem for quasivarieties (Q1061158) (← links)
- Positive Boolean dependencies (Q1100944) (← links)
- Free spectra of nilpotent varieties (Q1104353) (← links)
- Generalizations of Tarski's fixed point theorem for order varieties of complete meet semilattices (Q1121297) (← links)
- Pretabular varieties of modal algebras (Q1150599) (← links)
- The lattice of varieties of modal algebras is not strongly atomic (Q1150644) (← links)
- Introduction to the special issue on algebraic logic (Q1189889) (← links)
- \(2^{\aleph_0}\) varieties of Heyting algebras not generated by their finite members (Q1237086) (← links)
- On the structure of varieties with equationally definable principal congruences. IV (Q1315322) (← links)
- On the structure of varieties with equationally definable principal congruences. III (Q1342132) (← links)
- On the quasivariety of BCK-algebras and its subvarieties (Q1344842) (← links)
- Varieties of commutative residuated integral pomonoids and their residuation subreducts (Q1355602) (← links)
- Algebraic semantics for deductive systems (Q1422450) (← links)
- Fragments of R-mingle (Q1770601) (← links)
- Free Łukasiewicz and hoop residuation algebras (Q1770972) (← links)
- The finite embeddability property for residuated lattices, pocrims and BCK-algebras. (Q1771949) (← links)
- On the lattice of quasivarieties of Sugihara algebras (Q1821123) (← links)
- On the structure of varieties with equationally definable principal congruences. I (Q1839272) (← links)
- On the structure of hoops (Q1866813) (← links)
- The Beth property in algebraic logic (Q2433094) (← links)
- Equivalence of consequence operations (Q2433095) (← links)
- Algebras defined from ordered sets and the varieties they generate (Q2503153) (← links)
- Constructing simple residuated lattices (Q2583583) (← links)
- (Q2752411) (← links)
- (Q2752417) (← links)
- (Q2812986) (← links)
- (Q3141489) (← links)
- (Q3208624) (← links)
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801) (← links)
- The Fraser-Horn and Apple Properties (Q3770588) (← links)
- Alfred Tarski's work on general metamathematics (Q3795645) (← links)
- Algebraizable logics (Q3815297) (← links)
- Transitivity follows from Dummett's axiom (Q3855150) (← links)
- The lattice of modal logics: an algebraic investigation (Q3875896) (← links)
- (Q4011710) (← links)
- (Q4019366) (← links)
- (Q4029628) (← links)
- (Q4120613) (← links)
- (Q4156476) (← links)
- (Q4168952) (← links)
- (Q4187793) (← links)
- (Q4198505) (← links)
- (Q4249027) (← links)
- (Q4273433) (← links)
- (Q4544373) (← links)
- Algebraic semantics for quasi-classical modal logics (Q5187260) (← links)