Bulletin of the Section of Logic 8/2 (1979)details


Table of contents




  • 1. Wieslaw DZIOBIAK, An example concerning the lattice of the structural consequence operations48

  • 2. Wieslaw DZIOBIAK and Wojciech SACHWANOWICZ, On two notions concerning the structural sentential calculi54

  • 3. Zdzislaw DYWAN, Finite structural axiomatization of every finite-valued propositional calculus61

  • 4. Andrzej WRONSKI, A three element matrix whose consequence operation is not finitely based68

  • 5. Piotr WOJTYLAK, Matrix representations for structural strengthenings of a propositional logic72

  • 6. Janusz CZELAKOWSKI, Large matrices which induce finite consequence operations79

  • 7. Janusz CZELAKOWSKI, A characterization of Matr(C)83

  • 8. Wieslaw DZIOBIAK, On strongly finite consequence operations87

  • 9. Wieslaw DZIOBIAK, An example of strongly finite consequence operation with continuum standard strengthenings95

  • 10. Piotr WOJTYLAK, Strongly finie logics: Finite axiomatizability and the problem of supremum99

  • 11. Jan ZYGMUNT, Entailment relations and matrices I112