Reports on Mathematical Logic, Volume 33

Volume 33, 1999

• Tomasz Kowalski:
  Pretabular Varieties of Equivalential Algebras. 3-10
  
• Alexej P. Pynko:
  Implication Systems for Many-Dimensional Logics. 11-27
  
• Diderik Batens, Kristof de Clercq, Natasha Kurtonina:
  Embedding and Interpolation for some Paralogics. The Propositional Case. 29-44
  
• Yutaka Miyazaki:
  The Super-Amalgamation Property of the Variety of Ortholattices. 45-63
  
• Katsumi Sasaki:
  Formalizations for the Consequence Relation of Visser's Propositional Logic. 65-78
  
• Teodor Stepien:
  Derivability. 79-98
  
• Adam Grabowski:
  Lattice of Substitutions. 99-109
  
• Tomasz Polacik:
  Induction Schemata Valid in Kripke Models of Arithmetical Theories. 111-125
  

• Francesco Paoli:
  Simplified Affine Phase Structures 32. 21-34