default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia 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 - Raimon 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-04-17 23:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
