We sketch a logic model for representing systems analysis diagrams. The discussion is limited to diagrams from the OMT methodology of Rumbaugh et al., although no genuine loss of generality results. In developing our logic model, we have followed where appropriate (for state transition diagrams) the logical representation theory developed by Parsons for the semantics of VP modifiers. That seman...

Although ‘glue semantics’ appears to be generally accepted as LFG’s present account of semantic composition, its uptake amongst LFG practitioners doesn’t actually seem to be that extensive (and a number of well-known syntacticians have claimed to me that they are pretty much baffled by it). A possible reason for this is that the standard presentation of glue is based on term-assigning deduction...

Gupta and Lamping, 1998] show how linear logic based meaning constructors in the glue language semantics of Dalrymple et al., 1996] can be converted to \almost Horn clause" form using the compilation method of Hepple, 1996]. EEcient linear logic deductions deliver skeleton and modiier resources resembling Underspeciied Discourse Representation Structures (UDRSs Reyle, 1993]). In this paper we p...

We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem proving environment. Here calculations may refer to arbitrary extra-logical mechanisms, operating on the syntactic structure of logical statements. Deductions are devoid of any computational content, but driven by pro...

Propositional Product Logic is known to be standard finite-strong complete but not a strong complete, that is, it is complete for deductions only from finite sets of premises with respect to evaluations on the standard product chain over the real unit interval. On the other hand, Montagna has defined a logical system, an axiomatic extension of the Hájek’s Basic Fuzzy Logic BL with an storage op...

1. A review of the applicability of Schütz's Law to enzymic reactions is given. 2. The theoretical deductions of the Law, (a) on the basis of the law of mass action, (b) on the basis of the adsorption theory, are given and the significance of the assumptions made in these deductions pointed out. 3. It is shown that the true critical increment for an enzymic reaction is equal to twice the critic...