Bulletin of the Section of Logic 32/3 (2003)details


Table of contents




  • 1. Tarek Sayed AHMED, A Confirmation of a Conjecture of Tarski103

  • 2. Janis CIRULIS, (H)-Hilbert Algebras are not same as Hertz Algebras107

  • 3. Mladen VUKOVIC, A Note on Semantics of the Interpretability Logic IL(KW1)109

  • 4. Tarek Sayed AHMED, Omitting Types for Finite Variable Fragments of First Order Logic117

  • 5. Norihiro KAMIDE, A Simplified Semantics for a Fragment of Intuitionistic Linear Logic123

  • 6. Larry WOS, Dolph ULRICH and Branden FITELSON, XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus131

  • 7. Alexej P. PYNKO, A Cut-free Gentzen Calculus with Subformula Property for First-degree Entailments in LC137

  • 8. Piotr LUKOWSKI, Reductive Techniques in Proofs of the Completeness Theorems for the Normal Bimodal Systems147