Journal of Applied Non-Classical Logics, Volume 9

Volume 9, Number 1, 1999

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

Volume 9, Number 2-3, 1999

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

Volume 9, Number 4, 1999

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