Bulletin of the Section of Logic 12/1 (1983)details


Table of contents




  • 1. Josep Maria FONT, Intuitionistic implication in some non-classical modal logics of type S42

  • 2. Hristo SMOLENOV, Paraconsistency, paracompleteness and intentional contradictions8

  • 3. Andrzej SENDLEWSKI, Pretabular varieties of N-lattices17

  • 4. Boguslaw WOLNIEWICZ, Truth-arguments and independence21

  • 5. Wieslaw DZIOBIAK, Quasivariety generated by a finite Sugihara structure has finitely many subquasivarieties27

  • 6. Wieslaw DZIOBIAK, Structural completeness of modal logics containing K432

  • 7. Wieslaw DZIOBIAK, On distributivity of the lattice of subquasivarieties of a variety of Heyting algebras37

  • 8. Tadeusz PRUCNAL, Structural completeness of some fragments of intermediate logics41