Related papers: Corks

We establish fun parallels between coin-weighing puzzles and knights-and-knaves puzzles.

A sceptical examination of the motivations for strong modal plural logics.

Computations in the cohomology of finite groups.

Word sense disambiguation assumes word senses. Within the lexicography and linguistics literature, they are known to be very slippery entities. The paper looks at problems with existing accounts of `word sense' and describes the various…

We give necessary and sufficient conditions for the hull of a coherent sheaf to be coherent.

Traditionally, semantics has been seen as a feature of human language. The advent of the information era has led to its widespread redefinition as an information feature. Contrary to this praxis, I define semantics as a special kind of…

The study of opinions, their formation and change, is one of the defining topics addressed by social psychology, but in recent years other disciplines, like computer science and complexity, have tried to deal with this issue. Despite the…

A rephrasing of Vogt's and Skof's version of the Ulam-Mazur theorem as a definability statement.

This article describes recent work on the topic of specifying properties of transition systems. By giving a suitably abstract description of transition systems as coalgebras, it is possible to derive logics for capturing properties of these…

Over the past two decades the notion of a strong monad has found wide applicability in computing. Arising out of a need to interpret products in computational and semantic settings, different approaches to this concept have arisen. In this…

Comments On "Three Paradox of Quantum Information"

We give a short introduction, beginning with the Kerr geometry itself, to the basic results, motivation, open problems and future directions of the Kerr/CFT correspondence.

This will be more of an outlook than a summary ...

These informal notes deal with a number of questions related to sums and integrals in analysis.

This brief comment reflects on the historical and current uses of the term "snowball sampling."

We give a proper definition of the multiplicative structure of the following rings: the Cox ring of invertible sheaves on a general algebraic stack; and the Cox ring of rank one reflexive sheaves on a normal and excellent algebraic stack.…

This work is a continuation of what was done in a previous paper and strongly connected to the recent work of U. Abel and I. Rasa [arXiv:1707.00127]

Divergent word usages reflect differences among people. In this paper, we present a novel angle for studying word usage divergence -- word interpretations. We propose an approach that quantifies semantic differences in interpretations among…

We propose a constructive interpretation of truth which resolves the standard semantic paradoxes.

We introduce a general notion of covering property, of which many classical definitions are particular instances. Notions of closure under various sorts of convergence, or, more generally, under taking kinds of accumulation points, are…