Bulletin of the Section of Logic 25/2 (1996)


  1. Authors:
    Antonio M. SETTE and Elias H. ALVES

    Title:
    On the equivalence between some systems of non-classical logic

    Pages:
    68-72
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Roma J. ADILLON and Ventura VERDU

    Title:
    A Gentzen system equivalent to the BCK-logic

    Pages:
    73-80
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Piotr LUKOWSKI

    Title:
    Modal interpretation of Heyting-Brouwer logic

    Pages:
    80-83
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Alexander YASHIN

    Title:
    On Novikov's approach to the notion of a new intuitionistic connective: two negative examples

    Pages:
    84-88
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Jean-Yves BEZIAU

    Title:
    Identity, structure and logic

    Pages:
    89-94
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Andrzej INDRZEJCZAK

    Title:
    Cut-free sequent calculus for S5

    Pages:
    95-102
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Janusz CZELAKOWSKI

    Title:
    Filtered subdirect products

    Pages:
    103-
    File:
    bibtex
    Abstract ( + )