-
-
-
We give a simple example of a variety V of modal algebras that is
canonical but cannot be axiomatised by canonical equations or
first-order sentences. We then show that the variety RRA of
representable relation algebras, although canonical, has no
canonical axiomatisation. Indeed, we show that e...
-
-
In this paper we argue that the category of Stone spaces forms an interesting
base category for coalgebras, in particular, if one considers the Vietoris
functor as an analogue to the power set functor on the category of sets.
We prove that the so-called descriptive general frames, which play a
...
-
This paper sets out to give a natural pragmatic explanation of several
aspects of the interpretation of singular indefinite noun phrases. We
develop a uniform account of characteristic features of their use
which have been dealt with only partly in other semantic paradigms (in
particular the dyna...
-
In this paper we formulate a logic $\Sigma$ILM.
This logic extends ILM and contains a new unary modal operator $\Sigma_1$.
The formulas of this logic can be evaluated on Veltman frames.
We show that $\Sigma$ILM is modally sound and complete with respect to a
certain class of Veltman frames.
An a...
-
-
-
Categorial grammar analyzes linguistic syntax and semantics in terms
of type theory and lambda calculus. A major attraction of this
approach is its unifying power, as its basic function/argument
structures occur across the foundations of mathematics, language and
computation. This paper considers...
-
We discuss how issues of information and computation interact with
logic today, and what might be a natural extended agenda of
investigation. In particular, the discussion ranges from local
dynamics of communication ('update logics') via belief revision
systems to the logic of long-term processes...