Bulletin of the Section of Logic 1/3 (1972)details


Table of contents




  • 1. Grzegorz MALINOWSKI and Maciej SPASOWSKI, Dual counterparts of Lukasiewicz sentential calculi

  • 2. Mieczyslaw OMYLA and Roman SUSZKO, Descriptions in theories of kind W

  • 3. Mieczyslaw OMYLA and Roman SUSZKO, Definitions in theories of kind W

  • 4. Ewa ORLOWSKA, Treshold logic

  • 5. Eleonora PERKOWSKA, On algorithmic M-valued logic

  • 6. Jerzy SLUPECKI, L-decidability and decidability

  • 7. Marek TOKARZ, Invariant systems of Lukasiewicz calculi

  • 8. Ryszard WOJCICKI, Some results concerning many-valued Lukasiewicz calculi