We discuss diierent ways to represent the syntax of dependent types using Martin-LL of type theory as a metalanguage. In particular, we show how to give an intrinsic syntax in which meaningful contexts, types in a context, and terms of a certain type in a context, are generated directly without rst introducing raw terms, types, and contexts. In the rst representation we deene inductively the no...

This paper offers a novel account of polysemous copredicative sentences. The solution, which it is argued enjoys number advantages over the alternative accounts currently on market, inspired by Donald Davidson’s first attempt to deal with ambiguity. Specifically, involves mapping ambiguities in object language (in this case singular terms) onto metalanguage. If coherent and superior its rivals,...

To ensure the re-use of domain ontologies the usual approach relies on a pivot language, e.g., Kif, into and from which the domain ontology is translated. This requires several distinct translators for the diierent target Knowledge Based System (KBS). We propose a solution which uses a unique translator whatever the target KBS, Description Logic, objects or frames. It relies on a Domain Ontolog...

syntax trees are represented as Prolog terms but at the same time with an acceptable concrete appearance. A defining interpreter consists of the following predicates. program(program, final-storage) statement(statement, storage-before, storage-after) expression(expression, storage, integer) condition(condition, storage, ftrue, falseg) Some of the rules of this interpreter are shown in the follo...

In the past decade the pervasive ubiquitous of multicore processors has stimulated a constantly increasing effort in the development of concurrency platforms (such as CilkPlus, OpenMP, Intel TBB) targeting those architectures. While those programming languages are all based on the fork-join parallelism model, they largely differ on their way of expressing parallel algorithms and scheduling the ...

This paper aims to cast light on the somewhat neglected area of mock politeness. The principle objectives are to describe the ways that mock politeness is talked about and performed. In order to investigate such usage, I analyse data from informal, naturally occurring conversations in a UK-based online forum. The paper introduces a range of metalinguistic expressions which are used to refer to ...

Alfred Tarski (1944) wrote that “the condition of the ‘essential richness’ of the metalanguage proves to be, not only necessary, but also sufficient for the construction of a satisfactory definition of truth.” But it has remained unclear what Tarski meant by an ‘essentially richer’ metalanguage. Moreover, DeVidi and Solomon (1999) have argued in this Journal that there is nothing that Tarski co...