Abstract In this paper we will consider the existing notions of bilateralism in context proof-theoretic semantics and propose, based on our understanding bilateralism, an extension to logical multilateralism. This approach differs from what has been proposed under name before that do not multiple speech acts as core such a theory but rather consequence relations. We argue for aim most beneficia...

This paper presents an efficient content-based version management system for managing XML documents. Our proposed system uses complete deltas for the logical representation of document versions. This logical representation is coupled with an efficient storage policy for version retrieval and insertion. Our storage policy includes the conditional storage of complete document versions (depending ...

despite the often false impression that the analytic philosophy as an anti-metaphysical movement has nothing to do with metaphysics, there can be found good reasons to grant the metaphysical dispositions of analytic philosophers, and thereby, to minimize the anti-metaphysical nature of analytic philosophy in its all phases. since analytic philosophy is a historical movement the main nature of w...

Extrapolations are often based on parallels made between two situations that are thus compared. Comparative information may pertain to similarities as well as to dissimilarities. Analogical proportions, i.e., statements of the form “A is to B as C is to D”, provide a natural way for stating such a parallel. In the Boolean setting, logical proportions, a recently introduced notion that generaliz...