The guys over at hackshed have been busy. [Carl] is making programmable logic design easy with an 8 part CPLD tutorial. (March 2018: Link dead. Try the Wayback Machine.) Programmable logic devices are ...

In the past sixty years or so, a real forest of intuitionistic models for classical theories has grown. In this paper we will compare intuitionistic models of first order classical theories according ...

Journal of Philosophical Logic, Vol. 50, No. 5 (October 2021), pp. 873-910 (38 pages) Hodes (2021) "looked under the hood" of the familiar versions of the classical propositional modal logic K and its ...

Algebraic logic constitutes a vibrant interdisciplinary field that investigates the close interplay between algebraic structures and logical systems. By utilising tools from universal algebra, ...