Bulletin of the Section of Logic 30/1 (2001)details


Table of contents




  • 1. Yi ZHANG, Remarks on a class of almost disjoint families1

  • 2. Kentaro KIKUCHI, Relationships between basic propositional calculus and substructural logics15

  • 3. Luis F. CACERES-DUQUE, Ideal theories of the ring of polynomials over the integres21

  • 4. Tomasz KOWALSKI, Propositional dynamic logic has interpolation33

  • 5. Nicholas ASHER and Yi MAO, Negated defaults in commonsense entailment41