Bulletin of the Section of Logic 20/1 (1991)details


Table of contents




  • 1. Branislav R.BORICIC, Interpolation theorem for intuitionistic S42

  • 2. Pawel M.IDZIAK, Decision problem for finite equivalential algebras7

  • 3. Wojciech SUCHON, Counting formulae of propositional calculus10

  • 4. Ewa ORLOWSKA, Post relation algebra14

  • 5. Valentin GORANKO, Proving unprovability in some normal modal logic23

  • 6. C.JAHNS and Wolfgang RAUTENBERG, Correction to Common logic of binary connective has finite maximality degree30