In memory of Willem Johannes Blok 1947-2003
From MaRDI portal
Publication:2433091
DOI10.1007/s11225-006-8295-3zbMath1098.01509OpenAlexW2074356088MaRDI QIDQ2433091
James G. Raftery, Don Pigozzi, Wiesław Dziobiak, Joel D. Berman
Publication date: 27 October 2006
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-006-8295-3
Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An axiomatization of the modal theory of the veiled recession frame
- On the structure of varieties with equationally definable principal congruences. II
- On interpretations of varieties with semilattice reduct
- Positive Boolean dependencies
- Free spectra of nilpotent varieties
- Generalizations of Tarski's fixed point theorem for order varieties of complete meet semilattices
- Pretabular varieties of modal algebras
- The lattice of varieties of modal algebras is not strongly atomic
- Introduction to the special issue on algebraic logic
- \(2^{\aleph_0}\) varieties of Heyting algebras not generated by their finite members
- On the structure of varieties with equationally definable principal congruences. IV
- On the structure of varieties with equationally definable principal congruences. III
- On the quasivariety of BCK-algebras and its subvarieties
- Varieties of commutative residuated integral pomonoids and their residuation subreducts
- Algebraic semantics for deductive systems
- Fragments of R-mingle
- Free Łukasiewicz and hoop residuation algebras
- The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
- On the lattice of quasivarieties of Sugihara algebras
- On the structure of varieties with equationally definable principal congruences. I
- On the structure of hoops
- Constructing simple residuated lattices
- The Fraser-Horn and Apple Properties
- Alfred Tarski's work on general metamathematics
- Transitivity follows from Dummett's axiom
- The lattice of modal logics: an algebraic investigation
- Algebraic semantics for quasi-classical modal logics
- On the finite embeddability property for residuated ordered groupoids
- On the congruence extension property
- On congruence modularity in varieties of logic.
This page was built for publication: In memory of Willem Johannes Blok 1947-2003
