Bulletin of the Section of Logic 23/1 (1994)details


Table of contents




  • 1. Jens DIETRICH, Star-connectives in propositional logics2

  • 2. Martin W. BUNDER, The strong relevance logics12

  • 3. Jacek GEISLER, Completeness for four paraconsistent normal18

  • 4. Alexander CHAGROV, Some remarks about generalized post-completeness of extensions of K427

  • 5. Andrzej INDRZEJCZAK, Natural deduction in quantifier modal logic30

  • 6. Ewa GRACZYNSKA, A note on normal shifts of solid varieties41