A deductive system S (in the sense of Tarski) is Fregean if the relation of interderivability, relative to any given theory T, i.e., the binary relation between formulas $\{\langle \alpha,\beta ...

The paper is concerned with the psychological relevance of a logical model for deductive reasoning. We propose a new way to analyze logical reasoning in a deductive version of the Mastermind game ...

My 5-year-old nephew once confidently told me that all dinosaurs were green because his three dinosaur toys were green. So I showed him a nature documentary, Walking with Dinosaurs, and suddenly, ...

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