Journal of Applied Non-Classical Logics, Volume 9

Volume 9, Number 1, 1999

Special Issue: Multi-valued Logics

Àngel J. Gil, Jordi Rebagliato, Ventura Verdú: A Strong Completeness Theorem for the Gentzen systems associated with finite algebras.
Lluis Godo, Petr Hájek: Fuzzy inference as deduction.
Alexej P. Pynko: Functional completeness, axiomatizability within Belnap's four valued logic and its expansions.
Adriana Galli, Marta Sagastume: Some operations in Kripke models with an involution.
Itala M. Loffredo D'Ottaviano, Hércules A. Feitosa: Many-valued logics and translations.
Giovanni Panti: Varieties of MV-algebras.
Lawrence Peter Belluce, Antonio di Nola, George Georgescu: Perfect MV-algebras and l-rings.
Manuel Abad, J. Patricio Díaz Varela: Free double Ockham algebras.

Special Issue dedicated to the memory of George Gargov

George Gargov: Knowledge and Uncertainty and Ignorance in Logic: Bilattices and beyond.
Sergei N. Artëmov: Realization of Intuitionistic Logic by Proof Polynomials.
Philippe Balbiani, Ewa Orlowska: A hierarchy of modal logics with relative accessibility relations.
Melvin Fitting: Barcan Both Ways.
Valentin Goranko, Dimiter Vakarelov: Hyperboolean Algebras and Hyperboolean Modal Logic.
Valentin B. Shehtman: ``Everywhere'' and ``Here''.
Dmitrij P. Skvortsov: Remark on a finite axiomatization of finite intermediate propositional logics.
V. Sotirov: Arithmetizations of Syllogistic à la Leibniz.
Johan van Benthem: The Range of Modal Logic.

Michael Kohlhase, Ortwin Scheja: Higher Order Multi-Valued Resolution.
Ullrich Hustadt, Renate A. Schmidt: An empirical analysis of modal theorem provers.
Philippe Balbiani: Inequality without irreflexivity.

Last update Mon Feb 13 04:51:19 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page