We extend the theory of unified correspondence to a broad class of logics with algebraic
semantics given by varieties of normal lattice expansions (LEs), also known as 'lattices with …

Nonclassical logics have played an increasing role in recent years in disciplines ranging
from mathematics and computer science to linguistics and philosophy. _Generalized Galois …

We discuss an ongoing line of research in the relational (non topological) semantics of non-
distributive logics. The developments we consider are technically rooted in dual …

The two main objectives of this paper are (a) to prove purely topological duality theorems for
semilattices and bounded lattices, and (b) to show that the topological duality from (a) …

Part I of this paper is developed in the tradition of Stone-type dualities, where we present a
new topological representation for general lattices (influenced by and abstracting over both …

Publisher Summary This chapter discusses proof theory of relevant and substructural logics,
and the model theory of these logics. The discipline of relevant logic grew out of an attempt …

This paper introduces the category of b-frames as a new tool in the study of complete
lattices. B-frames can be seen as a generalization of posets, which play an important role in …

The book series Trends in Logic covers essentially the same areas as the journal Studia
Logica, that is, contemporary formal logic and its applications and relations to other …

Our concern is the completeness problem for spi-logics, that is, sets of implications between
strictly positive formulas built from propositional variables, conjunction and modal diamond …

We give a uniform method for automated reasoning in several types of extensions of ordered
algebraic structures (definitional extensions, extensions with boundedness axioms or with …