In 20 years, tremendous progress has been made in Lattice Theory. Nevertheless, the
change is in the superstructure not in the foundation. Accordingly, I decided to leave the …

This book is a specialized monograph on interpolation and definability, a notion central in
pure logic and with significant meaning and applicability in all areas where logic is applied …

Abstract The Domestic Resource Cost (DRC) indicator is widely used in developing
countries to measure comparative advantage and guide policy reforms. In this paper we …

Ordered algebras such as Boolean algebras, Heyting algebras, lattice-ordered groups, and
MV-algebras have long played a decisive role in logic, although perhaps only in recent …

The correlation between interpolation theorems of logic and certain properties of the class of
models related to the amalgamation property is well known. In classical sentential and first …

The first part of this paper provides a comprehensive and self-contained account of the
interrelationships between algebraic properties of varieties and properties of their free …

In this thesis we study definability and interpolation. These are properties of logics such as
compactness or decidability that have been established as yardsticks by which to measure …

Substructural logics have received a lot of attention in recent years from the communities of
both logic and algebra. We discuss the algebraization of substructural logics over the full …

This is a survey of results on interpolation in propositional normal modal logics. Interpolation
properties of these logics are closely connected with amalgamation properties of varieties of …

Uniform interpolants were largely studied in non-classical propositional logics since the
nineties, and their connection to model completeness was pointed out in the literature. A …