Bulletin of the Section of Logic 10/1 (1981)details


Table of contents




  • 1. Revaz GRIGOLIA and Slava MESKHI, Critical varieties of bi-closure algebras2

  • 2. Grzegorz MALINOWSKI and Marek MICHALCZYK, Interpolation properties for a class of many-valued propositional calculi9

  • 3. Boguslaw WOLNIEWICZ, The Boolean algebra of objectives17

  • 4. Max Peter URCHS, Kripke-style semantics for Jaskowski's system Qf24

  • 5. Urszula WYBRANIEC-SKARDOWSKA, On the theory of labels-tokens30

  • 6. Ewa GRACZYNSKA and Francis PASTIJN, Proofs of regular identities35

  • 7. Jan ZYGMUNT, Notes on decidability and finite approximability of sentential logics38

  • 8. Andrzej BIELA and Teodor STEPIEN, Lindenbaum's extensions42

  • 9. Marek PALASINSKI, Ideals in BCK-algebras which are lower semilattices48