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


Table of contents




  • 1. Hajnal ANDREKA, Steven GIVANT and Istvan NEMETI, Decision problems for equational theories of relation algebras47

  • 2. Grzegorz BRYLL and Zofia KOSTRZYCKA, Stoic ``Undemonstrables'' and indirect-deduction theorems53

  • 3. John K. SLANEY and Martin W. BUNDER, Classical versions of BCI, BCK and BCIW logics61

  • 4. Ildiko SAIN, On finitizing first order logic66

  • 5.  Jozef WAJSZCZYK, An adequate matrix tor the ``And Next'' calculus of G. H. von Wright80