and systems behaviour developed by Milner, Hennessy et al. based on operational semantics. • Logics of programs. Stone duality provides a junction between semantics (spaces of points = denotations of computational processes) and logics (lattices of properties of processes). Moreover, the underlying logic

A Logical Form (LF) is a syntactic structure that is interpreted by the semantic component. For a particular structure to be a possible LF it has to be possible for syntax to generate it and for semantics to interpret it. The study of LF must therefore take into account both assumptions about

Abstract. The notion of the logical form of an expression E is shown to be a semantic notion that can be derived from the notion of the structured meaning of E. This simple idea can be traced to categorial grammars, and it is implicitly used by Richard Montague. We argue that a most fine

This paper is concerned with the relationship between the linguistic analysis of sentences and their interpretation in context. Our model is described as implemented in the Core Language Engine (CLE), a domain-independent system for translating natural language sentences into logical form

The Delilah parser and generator for Dutch delivers three related levels of logical form: Stored Logical Form, Normal Logical Form and Flat Logical Form. SLF is produced by graph unification of attribute-value matrices as the value of a semantic feature. It is an underspecified level of semantic

that portion of logic that concerned the study of forms of propositions, or, as he called them, ‘logical forms’. This portion of logic he called ‘philosophical logic’. Russell asserted that... some kind of knowledge of logical forms, though with most people it is not explicit, is involved in all understanding

possible values a 2 N. This operation becomes explicit in DL in the form of the program x := ?, called a nondeterministic or wildcard assignment. This is a rather unconventional program, since it is not effective; however, it is quite useful as a descriptive tool. A more conventional way to obtain a

This paper surveys what we at SRI view as some of the key problems encountered in defining a system of representation for the logical forms of English sentences, and suggests possible approaches to their solution. We will first look at some general issues related to the notion of logical form

ABSTRACT: This paper outlines a truth-conditional view of logical form, that is, a view according to which log-ical form is essentially a matter of truth-conditions. Section 1 provides some preliminary clarifications. Section 2 shows that the main motivation for the view is the fact

this paper, we represent singular definite noun phrases as functions in logical form. This representation is designed to model the behaviors of both anaphoric and non-anaphoric, distributive defthires. It is also designed to obey the computationsd constraints suggested in Harper that88]. Our