Studia Logica, Volume 58

Volume 58, Number 1, January 1997

Dmitry A. Archangelsky, Mikhail A. Taitslin: A Logic for Information Systems. 3-16 BibTeX
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 BibTeX
Gianpiero Cattaneo: Generalized Rough Sets (Preclusivity Fuzzy-Intuitionistic (BZ) Lattices). 47-77 BibTeX
Roberto Cignoli, Daniele Mundici: An Elementary Proof of Chang`s Completeness Theorem for the Infinite-valued Calculus of Lukasiewicz. 79-97 BibTeX
Stéphane Demri: A Completeness Proof for a Logic with an Alternative Necessity Operator. 99-112 BibTeX
Anna Gomolinska: A Nonmonotonic Modal Formalization of the Logic of Acceptance and Rejection. 113-127 BibTeX
Petr Hájek: Fuzzy Logic and Arithmetical Hierarchy, II. 129-141 BibTeX
Henryk Jan Komorowski, Lech Polkowski, Andrzej Skowron: Towards a Rough Mereology-Based Logic for Approximate Solution Synthesis. Part 1. 143-184 BibTeX
Beata Konikowska: A Logic for Reasoning about Relative Similarity. 185-226 BibTeX

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

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