In this note we present a three-valued intensional logic, which is an extension of both Montague's intensional logic and Łukasiewicz three-valued logic. Our system is obtained by adapting Gallin's ...

Controlling gene expression with sophisticated logic gates has been and remains one of the central aims of synthetic biology. However, conventional implementations of biocomputers use central ...

Culminating a year-long project, [Usagi Electric] aka [David] has just wrapped up his single-bit vacuum tube computer. It is based on the Motorola MC14500 1-bit industrial controller, but since [David ...