# Technical Report CS0668

 TR#: CS0668 Class: CS Title: CONTRASTIVE LOGIC Authors: N. Francez PDF Not Available Abstract: In this paper I introduce the notion of {\em bilogics}, namely logics interpreted over a {\em pair} of structures, in contrast to classical logic and many of its variations, the formulae of which are interpreted over {\em one} structure. In particular, I introduce and study {\em Contrastive Logic}, suitable for expressing {\em contrast} and {\em conformity} between the two structures involved. A major reason for this study is striving towards an extension of {\em truth-conditional} semantics to cover several natural-language particles, which have been hitherto considered not to be amenable to such an extensional treatment, and were delegated to the level of non- extensional pragmatics. Examples of such particles are {\bf but} and {\bf already}. Copyright The above paper is copyright by the Technion, Author(s), or others. Please contact the author(s) for more information

Remark: Any link to this technical report should be to this page (http://www.cs.technion.ac.il/users/wwwb/cgi-bin/tr-info.cgi/1991/CS/CS0668), rather than to the URL of the PDF files directly. The latter URLs may change without notice.