Bulletin of the Section of Logic 23/2 (1994)


  1. Authors:
    Hajnal ANDREKA, Steven GIVANT and Istvan NEMETI

    Title:
    Decision problems for equational theories of relation algebras

    Pages:
    47-52
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Grzegorz BRYLL and Zofia KOSTRZYCKA

    Title:
    Stoic ``Undemonstrables'' and indirect-deduction theorems

    Pages:
    53-60
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    John K. SLANEY and Martin W. BUNDER

    Title:
    Classical versions of BCI, BCK and BCIW logics

    Pages:
    61-65
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Ildiko SAIN

    Title:
    On finitizing first order logic

    Pages:
    66-79
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Jozef WAJSZCZYK

    Title:
    An adequate matrix tor the ``And Next'' calculus of G. H. von Wright

    Pages:
    80-92
    File:
    bibtex
    Abstract ( + )