The classical cube of non-normal modal logics is considered, and an alternative
neighbourhood semantics is given in which worlds are equipped with sets of pairs of …

A recent strand of research in structural proof theory aims at exploring the notion of analytic
calculi (ie, those calculi that support general and modular proof-strategies for cut …

Taking an algebraic perspective on the basic structures of Rough Concept Analysis as the
starting point, in this paper we introduce some varieties of lattices expanded with normal …

In this article, we extend the research programme in algebraic proof theory from axiomatic
extensions of the full Lambek calculus to logics algebraically captured by certain varieties of …

We introduce proper display calculi for basic monotonic modal logic, the conditional logic
CK and a number of their axiomatic extensions. These calculi are sound, complete …

In the present paper, we endow the logics of topological quasi Boolean algebras,
topological quasi Boolean algebras 5, intermediate algebras of types 1-3, and pre-rough …

Quasi-Nelson logic is a generalization of Nelson logic in the sense that the negation is not
necessary involutive. In this paper, we give a Hilbert-style presentation QN of quasi-Nelson …

We introduce proper display calculi for basic monotonic modal logic, the conditional logic
CK and a number of their axiomatic extensions. These calculi are sound, complete …

We introduce proper display calculi for intuitionistic, bi-intuitionistic and classical linear
logics with exponentials, which are sound, complete, conservative, and enjoy cut elimination …

In recent years, the compositional distributional approach in computational linguistics has
opened the way for an integration of the\emph {lexical} aspects of meaning into Lambek's …