Skip to main content
SpringerLink
Log in

In Memory of Willem Johannes Blok 1947-2003

  • Published:
Studia Logica Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. ‘The center of the coproduct of distributive lattices with 0,1’, Nieuw Archief voor Wtskunde 22 (1974), 166–169.

    Google Scholar 

  2. ‘Equational classes of closure algebras, I’, (with Ph. Dwinger), Indag. Math. 37 (1975), 189–198.

    Google Scholar 

  3. ‘Finitely generated free interior algebras’, in: G. Kahnbach, (ed.), Proceedings of the Lattice Theory Conference (Ulm, 1975), pp. 5–9, Universitat Ulm, Uhn, 1975.

  4. Varieties of Interior Algebras (Ph.D. thesis), The University of Amsterdam, 1976, xii + 251 pp.

  5. ‘2K° varieties of Heyting algebras not generated by their finite members’, Algebra UmversaUs 7 (1977), 115–117.

  6. ‘The lattice of modal logics’ (abstract), Bull, of the Section of Logic of the Polish Academy of Sciences 6 (1977), 112–115.

    Google Scholar 

  7. ‘The semigroup of varieties of generalized interior algebras’, (with P. Kohler), Houston J. Math. 3 (1977), 315–327.

    Google Scholar 

  8. ‘The free closure algebra on finitely many generators’, Indag. Math. 39 (1977), 362–379.

    Google Scholar 

  9. ‘On the degree of incompleteness of modal logics’, (abstract), Bull, of the Section of Logic of the Polish Academy of Sciences 7 (1978), 167–175.

    Google Scholar 

  10. ‘Transitivity follows from Dummett's axiom’, (with J. van Benthem), Theoria 44 (1978), 117–118.

    Article  Google Scholar 

  11. ‘An axiomatization of the modal theory of the veiled recession frame’, Studia Logica 38 (1979), 37–47.

    Google Scholar 

  12. ‘The lattice of modal logics: an algebraic investigation’, J. Symbolic Logic 45 (1980), 221–236.

  13. ‘The lattice of varieties of modal algebras is not strongly atomic’, Algebra Uni-versahs 11 (1980), 285–294.

    Google Scholar 

  14. ‘Pretabular varieties of modal algebras’, Studia Logica 39 (1980), 101–124.

  15. ‘On the structure of varieties with equationally definable principal congruences,’, (with D. Pigozzi), Algebra Universalis 15 (1982), 195–227.

    Google Scholar 

  16. ‘Algebraic semantics for quasi-classical modal logics’, (with P. Kohler), J. Symbolic Logic 48 (1983), 941–964.

    Article  Google Scholar 

  17. ‘On the structure of varieties with equationally definable principal congruences, IF, (with P. Kohler and D. Pigozzi), Algebra Universalis 18 (1984), 334–379.

    Article  Google Scholar 

  18. ‘A finite basis theorem for quasi varieties’, (with D. Pigozzi), Algebra Universalis 22 (1986), 1–13.

    Article  Google Scholar 

  19. ‘On the lattice of quasivarieties of Sugihara algebras’, (with W. Dziobiak), Stu-dia Logica 45 (1986), 275–280.

    Article  Google Scholar 

  20. ‘Protoalgebraic logics’, (with D. Pigozzi), Studia Logica 45 (1986), 337–369.

    Article  Google Scholar 

  21. ‘The Fraser-Horn and apple properties’, (with J. Berman), Trans. Amer. Soc. 302 (1987), 427–465

    Article  Google Scholar 

  22. ‘Free spectra of nilpotent varieties’, (with J. Berman), Algebra Universalis 24 (1987), 279–282.

    Article  Google Scholar 

  23. ‘Alfred Tarski's work on general metamathematics’, (with D. Pigozzi), J. Symbolic Logic 53 (1988), 36–50.

    Article  Google Scholar 

  24. ‘Positive Boolean dependencies’, (with J. Berman), Information Processing Letters 27 (1988), 147–150.

    Article  Google Scholar 

  25. ‘Algebraizable Logics’, (with D. Pigozzi), Memoirs Amer. Math. Soc. 77 (1989), no. 396, vi+78 pp.

    Google Scholar 

  26. ‘Generalizations of Tarski's fixed point theorem for order varieties of complete meet semilattices’, (with J. Berman), Order 5 (1989), 381–392.

    Article  Google Scholar 

  27. ‘On interpretations of varieties with semilattice reduct’, Algebra Universalis 27 (1990), 299–303.

  28. ‘Local deduction theorems in algebraic logic’, (with D. Pigozzi), in: H. Andreka, J. Monk, I. Nemeti, (eds.), Algebraic Logic, pp. 75–109, Colloq. Math. Soc. Janos. Bolyai 54, North-Holland, 1991.

  29. ‘Algebraic semantics for universal Horn logic without equality’, (with D. Pigozzi), in: A. Romanowska and J.D.H. Smith, (eds.), Universal Algebra and Quasigroup Theory, pp. 1–56, Heldermann Verlag, Berlin, 1992.

    Google Scholar 

  30. ‘Equational dependencies’, (with J. Berman), J. Inform. Process. Cybernet. EIK 28 (1992), 213–223.

    Google Scholar 

  31. ‘Failure of the congruence extension property in BCK-algebras and related structures’, (with J. Raftery), Mathematica Japonica 38 (1993), 633–638.

    Google Scholar 

  32. ‘Hoops and their implicational reducts’, (abstract, with I. Ferreirim), in: Algebraic Methods in Computer Science (Warsaw, 1991), pp. 219–230, Banach Center Publications 28, Polish Acad Sci., Warsaw, 1993.

  33. ‘On the structure of varieties with equationally definable principal congruences, IIP, (with D. Pigozzi), Algebra UmversaUs 32 (1994), 545–608.

    Article  Google Scholar 

  34. ‘On the structure of varieties with equationally definable principal congruences, IV, (with D. Pigozzi), Algebra Universalis 31 (1994), 1–35.

    Article  Google Scholar 

  35. ‘On the quasivariety of BCK-algebras and its subvarieties’, (with J. Raftery), Algebra Universalis 33 (1995), 68–90.

    Article  Google Scholar 

  36. ‘On the congruence extension property’, (with D. Pigozzi), Algebra Universalis 38 (1997), 391–394.

    Article  Google Scholar 

  37. ‘Varieties of commutative residuated integral pomonoids and their residuation subreducts’, (with J. Raftery), Journal of Algebra 190 (1997), 280–328.

    Article  Google Scholar 

  38. ‘Ideals in quasivarieties of algebras’, (with J. Raftery), in: Models, Algebras and Proofs (Bogota, 1995), (ed. X. Caicedo and C. Montenegro), 167–186, Marcel Dekker, Inc., 1999.

  39. ‘On the structure of hoops’, (with I. Ferreirim), Algebra Universalis 43 (2000), 233–257.

    Article  Google Scholar 

  40. ‘Komori identities in algebraic logic’, (with S. La Falce), Rep. Math. Logic 34 (2000), 79–106.

    Google Scholar 

  41. ‘On the finite embeddability property for residuated lattices, pocrims and BCK algebras’, (abstract, with C. van Alten), Rep. Math. Logic 34 (2000), 159–165.

    Google Scholar 

  42. ‘On congruence modularity in varieties of logic’, (with J. Raftery), Algebra Uni-versahs 45 (2001), 15–21.

    Google Scholar 

  43. ‘Stipulations, multivalued logic, and De Morgan algebras’, (with J. Berman), Multiple-Valued Logic 7 (2001), 391–416.

    Google Scholar 

  44. ‘The finite embeddability property for residuated lattices, pocrims and BCK-algebras’, (with C. van Alten), Algebra Universalis 48 (2002), 253–271.

    Article  Google Scholar 

  45. ‘Algebraic semantics for deductive systems’, (with J. Rebagliato), Studia Logica 74 (2003), 153–180.

    Article  Google Scholar 

  46. ‘Constructing simple residuated lattices’, (with J. Raftery), Algebra Universalis 50 (2003), 385–389.

    Article  Google Scholar 

  47. ‘Free Lukasiewicz and hoop residuation algebras’, (with J. Berman), Studia Logica 77 (2004), 153–180.

    Article  Google Scholar 

  48. ‘Fragments of fi-mingle’, (with J. Raftery), Studia Logica 78 (2004), 59–106.

    Article  Google Scholar 

  49. ‘On the finite embeddability property for residuated ordered groupoids’, (with C. van Alten), Trans. Amer. Math. Soc. 357 (2005), 4141–4157.

    Article  Google Scholar 

  50. ‘The Beth property in algebraic logic’, (with E. Hoogland), Studio, Logica 49–90 of this issue.

  51. ‘Equivalence of consequence operations’, (with B. Jonsson), Studia Logica 91–110 of this issue.

  52. ‘Algebras defined from ordered sets and the varieties they generate’, (with J. Berman), Order, to appear.

  53. ‘Algebraic Logic’, (with D. Pigozzi), Studia Logica 50 (1991), 365–629.

    Article  Google Scholar 

  54. ‘Algebra and substructural logics’ (with A. Wronski and H. Ono), Proceedings of the Workshop held in Tatsunokuchi, November 10–17, 1999, Rep. Math. Logic. 34 (2000), 1–165. Technical Reports, Manuscripts and Lecture Notes

  55. On the degree of incompleteness of modal logics and the covering relation in the lattice of modal logics, Department of Mathematics, University of Amsterdam, Report 78–07, July, 1978, 60 pp.

  56. The algebraization of logic (with P. Kohler and D. Pigozzi), 1983, 102 pp.

  57. Abstract algebraic logic and the deduction theorem (with D. Pigozzi), 1997, 75 pp. Available at http://orion.math.iastate.edu/dpigozzi

  58. Lecture Notes on Algebraic Logic (with B. Jonsson), Symposium on Algebraic Logic, New Mexico State University, Las Cruces, January, 1999, 65 pp. Available at http://math.nmsu.edu/holsymp/lectures.html

  59. Assertionally equivalent quasivarieties (with J. Raftery), 2003, 88 pp.

Download references

Author information

Authors and Affiliations

  1. University of Illinois, Chicago

    Joel Berman

  2. University of Puerto Rico, Puerto Rico

    Wieslaw Dziobiak

  3. Iowa State University, Iowa

    Don Pigozzi

  4. University of KwaZulu-Natal, KwaZulu-Natal

    James Raftery

Authors
  1. Joel Berman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wieslaw Dziobiak
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Don Pigozzi
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. James Raftery
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Joel Berman.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Berman, J., Dziobiak, W., Pigozzi, D. et al. In Memory of Willem Johannes Blok 1947-2003. Stud Logica 83, 5–14 (2006). https://doi.org/10.1007/s11225-006-8295-3

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-006-8295-3

Keywords

Search

Navigation