Concepedia

W. J. Blok

WJ

Statistics

Publications

32

Citations

2K

H-Index

22

Active since

1975

Affiliations

University of Illinois Chicago(Current)

University of Amsterdam

Iowa State University

University of KwaZulu-Natal

Simon Fraser University

W. J. Blok is an author at University of Illinois Chicago specializing in automated reasoning, formal methods, and engineering.

Top concepts

Publications per year

1975–2008

32

Publications

32

Algebraizable logics

W. J. Blok, Don Pigozzi · Memoirs of the American Mathematical Society · 1989 · 364 citations

On the structure of hoops

W. J. Blok, Isabel M. A. Ferreirim · Algebra Universalis · 2000 · 210 citations

, ,

On the structure of varieties with equationally definable principal congruences IV

W. J. Blok, Don Pigozzi · Algebra Universalis · 1994 · 154 citations

,

Protoalgebraic logics

W. J. Blok, Don Pigozzi · Studia Logica · 1986 · 115 citations

Algebraic Semantics for Universal Horn Logic Without Equality

W. J. Blok · Medical Entomology and Zoology · 1992 · 108 citations

, , +5

1–5 of 32