Studia Logica, Volume 53

Volume 53, Number 1, February 1994

• Antonio J. Rodríguez Salas, Antoni Torrens:
  Wajsberg algebras and Post algebras. 1-20
  
• Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze:
  P1 algebras. 21-28
  
• Giambattista Amati, Fiora Pirri:
  A uniform tableau method for intuitionistic modal logics I. 29-60
  
• Claudio Cerrato:
  Decidability by Filtrations for graded normal logics (graded modalities V). 61-74
  
• André Fuhrmann, Edwin D. Mares:
  On S. 75-92
  
• Tomasz Polacik:
  Second order propositional operators over Cantor space. 93-106
  
• Robert K. Meyer, H. Ono:
  The finite model property for BCK arid BCIW. 107-118
  
• Ryo Kashima:
  Cut-free sequent calculi for some tense logics. 119-136
  
• Helena Rasiowa:
  Axiomatization and completeness of uncountably valued approximation logic. 137-160
  

Volume 53, Number 2, May 1994

• Michael Freund, Daniel J. Lehmann:
  Nonmonotonic reasoning: from finitary relations to infinitary inference operations. 161-202
  
• Vladimir V. Rybakov:
  Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property. 203-226
  
• Misao Nagayama:
  On a property of BCK-identities. 227-234
  
• Frank Wolter:
  What is the upper part of the lattice of bimodal logics? 235-242
  
• Fernando Guzmán:
  A Gentzen system for conditional logic. 243-258
  
• Ming Xu:
  Decidability of Stit theory with a single agent and Refref Equivalence. 259-298
  
• Valentin Goranko:
  Refutation systems in modal logic. 299-324
  
• George Weaver:
  Syntactic features and synonymy relations: a unified treatment of some proofs of the compactness and interpolation theorems. 325-342
  
• Marek Tokarz:
  Non-axiomatizability of Grice's implicature. 343-350
  

Volume 53, Number 3, August 1994

• Max A. Freund:
  The relative consistency of system RRC^* and some of its extensions. 351-360
  
• Katarzyna Palasinska:
  Three-element nonfinitely axiomatizable matrices. 361-372
  
• Erik Aarts:
  Proving theorems of the second order Lambek calculus in polynominal time. 373-388
  
• Sergio Galvan:
  A note an the omega-incompleteness formalization. 389-396
  
• Yuichi Komori:
  Syntactical investigations into BI logic and BB'I logic. 397-416
  
• Antonio di Nola, Ada Lettieri:
  Perfect MV-algebras are categorically equivalent to Abelian l-grups. 417-432
  
• Rajeev Goré:
  Cut-free sequent and tableau systems for propositional Diodorean modal logics. 433-458
  

Volume 53, Number 4, November 1994

• Helena Rasiowa:
  In Memoriam Cecylia Rauszer. 467-472
  
• Bjarni Jónsson:
  On the canonicity of Sahlqvist identities. 473-492
  
• Klaus Denecke, Katarzyna Halkowska:
  On P-compatible hybrid identities and hyperidentities. 493-502
  
• David Isles:
  A finite analog to the Löwenheim-Skolem theorem. 503-532
  
• Newton C. A. da Costa, Décio Krause:
  Schrödinger logics. 533-550
  
• Max P. Urchs:
  On the logic of event-causation. Jaskowski-style systems causal logic. 551-578
  

Last update Sat May 18 20:53:52 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page