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.
Marcelo F. Frias, Ewa Orlowska: Equational Reasoning in Non--Classical Logics.
Judit X. Madarász: Interpolation in Algebraizable Logics; Semantics for Non-normal Multi-modal Logic.
Marcin Mostowski: Computational semantics for monadic quantifiers.
Aleksey Novodvorsky, Aleksey Smirnov: A shell for generic interactive proof search.
Regimantas Pliuskevicius: Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic.
Graham Priest: The Trivial Object and the Non-Triviality of a Semantically Closed Theory with Descriptions.

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

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

Last update Tue Feb 14 04:19:59 2012 CET by the DBLP Team —

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