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