Reports on Mathematical Logic, Volume 28

Volume 28, 1994

• Haydée Werneck Poubel, Luiz Carlos Pereira:
  A Categorical Approach to Higher-level Introduction and Elimination Rules. 3-19
  Electronic Edition (link) BibTeX
• Beata Bugajska, Kazimiera Dyrda:
  On the Rules of Substitution in the First-order Predicate Logics. 21-27
  Electronic Edition (link) BibTeX
• Mohamed Amer:
  Probability Logic and Measures on Epimorphic Images of Coproducts of Measurable Spaces. 29-52
  Electronic Edition (link) BibTeX
• Stanley Burris, Isabel M. A. Ferreirim:
  Decidable Varieties of Hoops. 53-59
  Electronic Edition (link) BibTeX
• Beata Bugajska-Jaszczolt, Tadeusz Prucnal:
  Axiomatization of the Logic Determined by the System of Natural Numbers with Identity. 61-71
  Electronic Edition (link) BibTeX
• Andrzej Wronski:
  Gentzen-style Calculi for Quasi-identities of Finite Algebras. 73-79
  Electronic Edition (link) BibTeX
• Tomasz Kowalski:
  A Syntactic Proof of a Conjecture of Andrzej Wronski. 81-86
  Electronic Edition (link) BibTeX
• Andrzej Pietruszczak: Cardinalities of Models for Pure Calculi of Names. 87-102 BibTeX