Willem J. Blok

Available identifiers

zbMath Open blok.willem-johannesWikidataQ26466062 ScholiaQ26466062MaRDI QIDQ1355601

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q2812986	2016-06-13	Paper
ASSERTIONALLY EQUIVALENT QUASIVARIETIES	2008-08-19	Paper
The Beth property in algebraic logic	2006-10-27	Paper
Equivalence of consequence operations	2006-10-27	Paper
Algebras defined from ordered sets and the varieties they generate	2006-09-14	Paper
Constructing simple residuated lattices	2006-01-17	Paper
On the finite embeddability property for residuated ordered groupoids	2005-07-26	Paper
The finite embeddability property for residuated lattices, pocrims and BCK-algebras.	2005-04-19	Paper
Fragments of R-mingle	2005-04-07	Paper
Free Łukasiewicz and hoop residuation algebras	2005-04-07	Paper
Algebraic semantics for deductive systems	2004-02-15	Paper
On the structure of hoops	2003-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q4544373	2002-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q2752411	2002-05-21	Paper
https://portal.mardi4nfdi.de/entity/Q2752417	2002-03-25	Paper
On congruence modularity in varieties of logic.	2001-06-10	Paper
On the congruence extension property	2000-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4249027	1999-11-08	Paper
Varieties of commutative residuated integral pomonoids and their residuation subreducts	1997-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q4273433	1996-07-17	Paper
On the structure of varieties with equationally definable principal congruences. IV	1995-07-27	Paper
On the quasivariety of BCK-algebras and its subvarieties	1995-02-22	Paper
On the structure of varieties with equationally definable principal congruences. III	1995-02-13	Paper
https://portal.mardi4nfdi.de/entity/Q3141489	1994-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q4029628	1993-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q4019366	1993-01-16	Paper
Introduction to the special issue on algebraic logic	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4011710	1992-09-27	Paper
On interpretations of varieties with semilattice reduct	1990-01-01	Paper
Generalizations of Tarski's fixed point theorem for order varieties of complete meet semilattices	1989-01-01	Paper
Algebraizable logics	1989-01-01	Paper
Positive Boolean dependencies	1988-01-01	Paper
Alfred Tarski's work on general metamathematics	1988-01-01	Paper
Free spectra of nilpotent varieties	1987-01-01	Paper
The Fraser-Horn and Apple Properties	1987-01-01	Paper
A finite basis theorem for quasivarieties	1986-01-01	Paper
On the lattice of quasivarieties of Sugihara algebras	1986-01-01	Paper
Protoalgebraic logics	1986-01-01	Paper
On the structure of varieties with equationally definable principal congruences. II	1984-01-01	Paper
Algebraic semantics for quasi-classical modal logics	1983-01-01	Paper
On the structure of varieties with equationally definable principal congruences. I	1982-01-01	Paper
Pretabular varieties of modal algebras	1980-01-01	Paper
The lattice of varieties of modal algebras is not strongly atomic	1980-01-01	Paper
The lattice of modal logics: an algebraic investigation	1980-01-01	Paper
An axiomatization of the modal theory of the veiled recession frame	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3208624	1978-01-01	Paper
Transitivity follows from Dummett's axiom	1978-01-01	Paper
\(2^{\aleph_0}\) varieties of Heyting algebras not generated by their finite members	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4156476	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4187793	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4198505	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4168952	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4120613	1974-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Willem J. Blok