Journal of Applied Non-Classical Logics, Volume 10
Volume 10, Number 1, 2000
- Elena Tsiporkova, Bernard De Baets, Veselka Boeva: Evidence theory in multivalued models of modal logic. 55-81
- Alexej P. Pynko: Regular bilattices. 93-111
- Sándor Jenei: Structure of left-continuous triangular norms with strong induced negations. 83-92
Volume 10, Number 2, 2000
- Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella: SAT vs. translation based decision procedures for modal logics: a comparative evaluation. 145-172
- Adam Obtulowicz: Triangular Logic of Partial Toposes. 173-212
Volume 10, Number 3-4, 2000
- Valentin Goranko: Temporal logics with reference pointers and computation tree logics. 221-242
- Inman P. de Guzmán, Manuel Enciso, Pablo Cordero: A temporal negative normal form which preserves implicants and implicates. 243-272
- Miklós Ferenczi: On representability of neatly embeddable cylindric algebras. 303-315
- Guido Vanackere: HL2, an Inconsistency-adaptive and Inconsistency-resolving Logic for General Statements that might have Exceptions. 317-338
- 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. 369-377
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203624 by the dblp team