Bulletin of the Section of Logic 34/1 (2005)details


Table of contents




  • 1. Tomasz POLACIK, Anti-Chains, Focuses and Projective Formulas1

  • 2. E. CALARADO and Vladimir V.RYBAKOV, Combining Time and Knowledge, Semantic Approach13

  • 3. Tarek Sayed AHMED, A Sufficient and Necessary Condition for Omitting Types23

  • 4. Tarek Sayed AHMED, An Independence Result in Algebraic Logic29

  • 5. A. FIGALLO JR. and A. ZILIANI, Remarks on Hertz Algebras and Implicative Semilattices37

  • 6. Joao MARCOS, Logics of Essence and Accident43