Journal of Applied Non-Classical Logics, Volume 8

Volume 8, Number 1-2, 1998

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

Volume 8, Number 3, 1998

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

Volume 8, Number 4, 1998

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

Last update Thu May 23 19:04:19 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page