Bulletin of the Section of Logic 33/4 (2004)details


Table of contents




  • 1. Magdalena FABISIAK, The Logic K of Strict Implication and its Relatives191

  • 2. Szymon FRANKOWSKI, p-Consequence Versus q-Consequence Operations197

  • 3. Malgorzata SERWECINSKA, Communication Complexity in Linearly Ordered Sets209

  • 4. Janusz CIUCIURA, Labelled Tableaux for D2223

  • 5. Norihiro KAMIDE, A Relationship Between Rauszer's H-B Logic and Nelson's Logic237