We present Popper’s theory of deductive logic as exhibited in his articles published between 1947 and 1949. After an introduction to inferentialist approach idea “inferential definitions” logical constants, we discuss more formal detail general the deducibility relation (which, using Gentzen’s terminology, might be called “structural” theory), well special constants. put emphasis on inferential...

Most current deductive database systems ooer only limited support for updates. We present a logical framework that allows to combine procedural update methods with set-oriented updates. The conventional database update operations are subsumed by our approach.

This paper is focused on the extension of Categorial Unification Grammar (CUG) in order to achieve a compact grammatical representation scheme for the syntactic analysis of free word order languages. The resulting grammar was applied to the implementation of an efficient parser within a German natural language interface to a deductive database by making use of the Integrated Deductive Approach ...