Bulletin of the Section of Logic 19/1 (1990)details


Table of contents




  • 1. Piotr WOJTYLAK, A syntactical characterization of structural completeness for implicational logics2

  • 2. Tomasz SKURA, A new criterion of decidability for intermediate logics10

  • 3. Jose M.MENDEZ, Urguhart's C with minimal negation15

  • 4. A.V.CHAGROV and M.V.ZAKHARYASHCHEV, On Hallden-completeness of intermediate and modal logics21

  • 5. Nicola GRANA, On a minimal non-alethic logic25

  • 6. Konrad TURZYNSKI, The temporal functors in the directional logic of Rogowski - some results30