Reports on Mathematical Logic, Volume 33

Volume 33, 1999

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

• Francesco Paoli:
  Simplified Affine Phase Structures 32. 21-34
  Electronic Edition (link) BibTeX