Studia Logica, Volume 58

Volume 58, Number 1, January 1997

• Dmitry A. Archangelsky, Mikhail A. Taitslin:
  A Logic for Information Systems. 3-16
  
• Salem Benferhat, Didier Dubois, Henri Prade:
  Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases: A Comparative Study Part 1: The Flat Case. 17-45
  
• Gianpiero Cattaneo:
  Generalized Rough Sets (Preclusivity Fuzzy-Intuitionistic (BZ) Lattices). 47-77
  
• Roberto Cignoli, Daniele Mundici:
  An Elementary Proof of Chang`s Completeness Theorem for the Infinite-valued Calculus of Lukasiewicz. 79-97
  
• Stéphane Demri:
  A Completeness Proof for a Logic with an Alternative Necessity Operator. 99-112
  
• Anna Gomolinska:
  A Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection. 113-127
  
• Petr Hájek:
  Fuzzy Logic and Arithmetical Hierarchy, II. 129-141
  
• Henryk Jan Komorowski, Lech Polkowski, Andrzej Skowron:
  Towards a Rough Mereology-Based Logic for Approximate Solution Synthesis. Part 1. 143-184
  
• Beata Konikowska:
  A Logic for Reasoning about Relative Similarity. 185-226
  

Volume 58, Number 2, March 1997

• Frank Wolter:
  Superintuitionistic Companions of Classical Modal Logics. 229-259
  
• Adam Kolany:
  Consequence Operations Based on Hypergraph Satisfiability. 261-272
  
• Mamoru Kaneko, Takashi Nagashima:
  Game Logic and its Applications II. 273-303
  
• Burghard Herrmann:
  Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator. 305-323
  

Volume 58, Number 3, May 1997

• Jacek Marciniec:
  Infinite Set Unification with Application to Categorial Grammar. 339-355
  
• R. Elgueta:
  Characterization Classes Defined without Equality. 357-394
  
• Eiko Isoda:
  Kripke Bundle Semantics and C-set Semantics. 395-401
  
• Chrysafis Hartonas:
  Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics. 403-450
  

Last update Mon May 20 03:28:13 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page