Journal of Applied Non-Classical Logics, Volume 10

Volume 10, Number 1, 2000

Joeri Engelfriet, Jan Treur: Specification of nonmonotonic reasoning.
Jan A. Bergstra, Alban Ponse: Process Algebra with Four-Valued Logic.
Elena Tsiporkova, Bernard De Baets, Veselka Boeva: Evidence theory in multivalued models of modal logic.
Alexej P. Pynko: Regular bilattices.
Sándor Jenei: Structure of left-continuous triangular norms with strong induced negations.

Mi Lu, Jin-Zhao Wu: On theorem proving in annotated logics.
Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella: SAT vs. translation based decision procedures for modal logics: a comparative evaluation.
Adam Obtulowicz: Triangular Logic of Partial Toposes.

Valentin Goranko: Temporal logics with reference pointers and computation tree logics.
Inman P. de Guzmán, Manuel Enciso, Pablo Cordero: A temporal negative normal form which preserves implicants and implicates.
Ivo Düntsch, Beata Konikowska: A multimodal logic for reasoning about complementarity.
Miklós Ferenczi: On representability of neatly embeddable cylindric algebras.
Guido Vanackere: HL2, an Inconsistency-adaptive and Inconsistency-resolving Logic for General Statements that might have Exceptions.
Sébastien Konieczny, Ramón Pino Pérez: A framework for iterated revision.
Pieter Hendrik Rodenburg: A complete system of four-valued logic.
Vladimir V. Rybakov, Mehmet Terziler, Çigdem Gencer: Unification and passive inference rules for modal logics.