Bulletin of the Section of Logic 21/3 (1992)details

Table of contents

  • 1. Alexander S.KARPENKO, Lattices of implicational logics82

  • 2. Janusz CZELAKOWSKI, A note on the extension for relatively congruence-distributive quasivarieties92

  • 3. Marek NOWAK, On two relatives of the classical logic97

  • 4. Szabolcs MIKULAS, Ildiko SAIN and Andras SIMON, Complexity of equational theory of relational algebras with projection elements103

  • 5. Takao INOUE, On compatibility of theories and equivalent translations112