In memory of Willem Johannes Blok 1947-2003

Cites Work

Fragments of R-mingle
The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
On the structure of varieties with equationally definable principal congruences. I
Title not available (Why is that?)
Title not available (Why is that?)
The lattice of modal logics: an algebraic investigation
Algebraic semantics for deductive systems
Title not available (Why is that?)
On the congruence extension property
On the structure of varieties with equationally definable principal congruences. III
Varieties of commutative residuated integral pomonoids and their residuation subreducts
On the structure of hoops
On the structure of varieties with equationally definable principal congruences. IV
On the finite embeddability property for residuated ordered groupoids
Title not available (Why is that?)
Pretabular varieties of modal algebras
On the lattice of quasivarieties of Sugihara algebras
Transitivity follows from Dummett's axiom
Introduction to the special issue on algebraic logic
An axiomatization of the modal theory of the veiled recession frame
On the quasivariety of BCK-algebras and its subvarieties
On the finite embeddability property for residuated lattices, pocrims and BCK-algebras
On the structure of varieties with equationally definable principal congruences. II
Positive Boolean dependencies
Free Łukasiewicz and hoop residuation algebras
Free spectra of nilpotent varieties
Title not available (Why is that?)
On interpretations of varieties with semilattice reduct
The lattice of varieties of modal algebras is not strongly atomic
\(2^{\aleph_0}\) varieties of Heyting algebras not generated by their finite members
Title not available (Why is that?)
Generalizations of Tarski's fixed point theorem for order varieties of complete meet semilattices
The Fraser-Horn and Apple Properties
Alfred Tarski's work on general metamathematics
Algebraic semantics for quasi-classical modal logics
Title not available (Why is that?)
On congruence modularity in varieties of logic.
Constructing simple residuated lattices
Komori identities in algebraic logic
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)

This page was built for publication: In memory of Willem Johannes Blok 1947-2003

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2433091)