Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics. At its heart, mathematical logic provides rigorous formal ...

This brief article is intended to introduce the reader to the field of algebraic set theory, in which model of set theory of a new and fascinating kind are determined algebraically. The method is ...

The scope of Knowledge, Rationality and Action is interdisciplinary: it will be of interest to researchers in the fields of artificial intelligence, agents, computer science, knowledge representation, ...