Studia Logica, Volume 52

Volume 52, Number 1, February 1993

• Josep Maria Font, Ventura Verdú:
  The lattice of distributive closure operators over an algebra. 1-14
  
• Tsutomu Hosoi, Isao Masuda:
  A study of intermediate propositional logics on the thrid slice. 15-22
  
• Tatsuya Shimura:
  Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas. 23-40
  
• Katsumi Sasaki:
  The simple substitution property of the intermediate propositional logics on finite slices. 41-62
  
• Wolfgang Rautenberg:
  On reduced matrices. 63-72
  
• Nobu-Yuki Suzuki:
  Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics. 73-94
  
• Sergiu Rudeanu:
  On Lukasiewicz-Moisil algebras of fuzzy sets. 95-112
  
• Richard B. White:
  A consistent theory of attributes in a logic without contraction. 113-142
  
• Vladimir L. Vasyukov:
  The completeness of the factor semantics for Lukasiewicz's infinite-valued logics. 143-168
  

Volume 52, Number 2, May 1993

• Charles G. Morgan:
  Introduction. 181
  
• Gordon Beavers:
  Automated theorem proving for Lukasiewicz logics. 183-196
  
• Ricardo Caferra, Stéphane Demri, Michel Herment:
  A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics. 197-232
  
• Ian P. Gent:
  Theory matrices (for modal logics) Using alphabetical monotonicity. 233-258
  
• Yue Jun Jiang:
  A intensional epistemic logic. 259-280
  
• Arthur Buchsbaum, Tarcisio H. C. Pequeno:
  A reasoning method for a paraconsistent logic. 281-290
  
• Francis Jeffry Pelletier:
  Identity in modal logic theorem proving. 291-308
  
• Zbigniew Stachniak:
  An essay on resolution logics. 309-322
  
• André Vellino:
  The relative complexity of analytic tableaux and SL-resolution. 323-338
  

Volume 52, Number 3, August 1993

• David Makinson:
  Five faces of minimality. 339-380
  
• Greg Restall:
  How to be really contraction free. 381-392
  
• Adam Kolany:
  Satisfiability on hypergraphs. 393-404
  
• Dietmar Schweigert:
  Hybrid terms and sentences. 405-418
  
• Gianpiero Cattaneo, Maria Luisa Dalla Chiara, Roberto Giuntini:
  Fuzzy intuitionistic quantum logics. 419-442
  
• John K. Slaney:
  Sentential constants in systems near R. 443-456
  
• Michael Freund:
  Supracompact inference operations. 457-482
  

Volume 52, Number 4, November 1993

• Bernhard Lauth:
  Inductive inference in the limit for first-order sentences. 491-518
  
• Wolfgang Balzer, Bernhard Lauth, Gerhard Zoubek:
  A model for science kinematics. 519-548
  
• Paolo Gentilini:
  Syntactical results on the arithmetical completeness of modal logic. 549-564
  
• Ross T. Brady:
  Rules in relevant logic-II: formula representation. 565-586
  
• Dev Kumar Roy:
  Recursive versus recursively enumerable binary relations. 587-594
  
• Gonzalo E. Reyes, Marek W. Zawadowski:
  Formal systems for modal operators on locales. 595-614
  

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