Journal of Applied Non-Classical Logics, Volume 10

Volume 10, Number 1, 2000

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

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

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