Bulletin of the Section of Logic
Tom 32 ( 2003), Nr 3

Wydawnictwo Uniwersytetu Łódzkiego
ISSN 0138-0680

Checked:

A Confirmation of a Conjecture of Tarski

Tarek Sayed Ahmed
H)-Hilbert Algebras are not same as Hertz Algebras

Janis Cirulis
A Note on Semantics of the Interpretability Logic IL(KW1)

Mladen Vukovic
A Simplified Semantics for a Fragment of Intuitionistic Linear Logic

Norihiro Kamide
XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus

Larry Wos Dolph Urlich Branden Fitelson
A Cut-free Gentzen Calculus with Subformula Property for First-degree Entailments in LC

Alexej P. Pynko
Reductive Techniques in Proofs of the Completeness Theorems for the Normal Bimodal Systems

Piotr Łukowski
Omitting Types for Finite Variable Fragments of First Order Logic

Tarek Sayed Ahmed