1. A Logic for Information Systems

   • Dmitri A. Archangelsky
   • Mikhail A. Taitslin

   OriginalPaper Pages: 3 - 16

2. Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases: A Comparative Study Part 1: The Flat Case

   • Salem Benferhat
   • Didier Dubois
   • Henri Prade

   OriginalPaper Pages: 17 - 45

3. Generalized Rough Sets (Preclusivity Fuzzy-Intuitionistic (BZ) Lattices)

   • Gianpiero Cattaneo

   OriginalPaper Pages: 47 - 77

4. An Elementary Proof of Chang's Completeness Theorem for the Infinite-valued Calculus of Lukasiewicz

   • Roberto Cignoli
   • Daniele Mundici

   OriginalPaper Pages: 79 - 97

5. A Completeness Proof for a Logic with an Alternative Necessity Operator

   • Stéphane Demri

   OriginalPaper Pages: 99 - 112

6. A Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection

   • Anna Gomolińska

   OriginalPaper Pages: 113 - 127

7. Fuzzy Logic and Arithmetical Hierarchy, II

   • Petr Hájek

   OriginalPaper Pages: 129 - 141

8. Towards a Rough Mereology-Based Logic for Approximate Solution Synthesis. Part 1

   • Jan Komorowski
   • Lech T. Polkowski
   • Andrzej Skowron

   OriginalPaper Pages: 143 - 184

9. A Logic for Reasoning about Relative Similarity

   • Beata Konikowska

   OriginalPaper Pages: 185 - 226