Bulletin of the Section of Logic 2/1 (1973)


  1. Authors:
    Viktor K.FINN

    Title:
    A criterion of functional completeness for B3

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Peter GEACH

    Title:
    On certain modal systems connected with S4,3

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Jerzy KOTAS

    Title:
    The axiomatizations of S.Jaskowski's discussive system

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Larisa MAKSIMOWA

    Title:
    A semantics for the calculus E of entailment

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Krystyna PIROG-RZEPECKA

    Title:
    A predicate calculus with formulas which lose sense and the corresponding propositional calculus

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Zygmunt SALONI

    Title:
    The sequent Gentzen system for m-valued logic

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Vladimir A.SMIRNOV

    Title:
    An absolute first order predicte calculus

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  8. Authors:
    Maciej SPASOWSKI

    Title:
    Some conections between Cn and Cn-1 and dCn

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  9. Authors:
    Marek TOKARZ

    Title:
    On mutual non-reconstructability of the Lukasiewicz calculi and their dual counterparts

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  10. Authors:
    Ryszard WOJCICKI

    Title:
    Dual counterparts of consequence operations

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  11. Authors:
    Andrzej WRONSKI

    Title:
    Remarks on intermediate logics with axioms containing only one variable

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  12. Authors:
    Andrzej WRONSKI

    Title:
    On the degree of completeness of positive logic

    Pages:
    -
    File:
    bibtex
    Abstract ( + )