Journal of Applied Non-Classical Logics, Volume 8

Volume 8, Number 1-2, 1998

Special Issue dedicate to the memory of Helena Rasiowa

Edward Bryniarski, Urszula Wybraniec-Skardowska: Calculus of Contextual Rough Sets in Contextual Spaces. BibTeX
Marcelo F. Frias, Ewa Orlowska: Equational Reasoning in Non--Classical Logics. BibTeX
Judit X. Madarász: Interpolation in Algebraizable Logics; Semantics for Non-normal Multi-modal Logic. BibTeX
Marcin Mostowski: Computational semantics for monadic quantifiers. BibTeX
Aleksey Novodvorsky, Aleksey Smirnov: A shell for generic interactive proof search. BibTeX
Regimantas Pliuskevicius: Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic. BibTeX
Graham Priest: The Trivial Object and the Non-Triviality of a Semantically Closed Theory with Descriptions. BibTeX

James Brawner, James Vorbach: An Algorithmic Logic Approach to Formalizing Database Update Semantics. BibTeX
Sven Ove Hansson, Hans Rott: A Plea for Accuracy. BibTeX
Michael Wooldridge, Clare Dixon, Michael Fisher: A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief. BibTeX
Philippe Balbiani: The modal multilogic of geometry. BibTeX

Hans Jürgen Ohlbach, Dov M. Gabbay: Calendar Logic. BibTeX
Philippe Balbiani, Luis Fariñas del Cerro: Complete axiomatization of a relative modal logic with composition and intersection. BibTeX
Dale Jacquette: Paraconsistent Logical Consequence. BibTeX
Jin-Zhao Wu, Hong-Yan Tan, Yongli Li: An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics. BibTeX