In this article, we introduce an epistemic modal operator modelling knowledge over
distributive non-associative full Lambek calculus with a negation. Our approach is based on …

arXiv:1809.08225v1 [math.LO] 21 Sep 2018 Page 1 arXiv:1809.08225v1 [math.LO] 21 Sep
2018 Goldblatt-Thomason for LE-logics ∗ Willem Conradie1, Alessandra Palmigiano2,3, and …

A very simple proof of the finite embeddability property for residuated distributive-lattice-
ordered groupoids and some related classes of structures is presented. In particular, this …

In this paper, on one hand, we address topology on polarities via general polarity frames by
analogy of the relationship between topology on sets and general Kripke frames. Based on …

A category CoLog of distributive laws is introduced to unify different approaches to modal
logic for coalgebras, based merely on the presence of a contravariant functor P that maps a …

One of the most fundamental questions that can be asked about a given language is what
concepts can be expressed in it. Being able to use a language to say things is “a …

We present the results of [6], in which we state and prove a version of the Goldbatt-
Thomason theorem which applies uniformly to normal LE-logics in arbitrary signatures, ie …

One of the most fundamental questions that can be asked about a given language is what
concepts can be expressed in it. Being able to use a language to say things is “a …

It is shown that the classes of Routley–Meyer models which are axiomatizable by a theory in
a propositional relevant language with fusion and the Ackermann constant can be …

We present a finitary version of Moss' coalgebraic logic for T-coalgebras, where T is a locally
monotone endofunctor of the category of posets and monotone maps. The logic uses a …