Bulletin of the Section of Logic 27/3 (1998)details

Table of contents

  • 1. Tadao ISHII, Propositional calculus with identity96

  • 2. Ewa GRACZYNSKA, G. Birkhoff's theorems for M-solid varieties105

  • 3. Paulo A.S. VELOSO, On eight independent equational axiom-atisations for fork algebras117

  • 4. Yvon GAUTHIER, A polynomial translation of Goedel's functional interpretation130

  • 5. Wojciech BUSZKOWSKI and Ewa ORLOWSKA, Relational logics for formalization of database dependencies138

  • 6. Adam OBTULOWICZ, Remark on visual presentation of deductions in Jaskowski's method of suppositions144