Bulletin of the Section of Logic 23/3 (1994)


  1. Authors:
    Dolph ULRICH

    Title:
    On the independence of B from I, C, W, K'1 and Karpenko's formula X

    Pages:
    96-97
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Jacek MALINOWSKI

    Title:
    Some theorems on equivalential tense logic

    Pages:
    98-103
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Takahito AOTO and Hiroakira ONO

    Title:
    Non-uniqueness of normal proofs for minimal formulas in implication-conjunction fragment of BCK

    Pages:
    104-112
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Marek MAGDZIAK

    Title:
    Truth as an object

    Pages:
    113-117
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Igor URBAS

    Title:
    A note on "Carnot's logic"

    Pages:
    118-125
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Alexander S. KARPENKO

    Title:
    Sheffer's stroke for prime numbers

    Pages:
    126-129
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Jacek GEISLER and Marek NOWAK

    Title:
    Conditional negation on the positive logic

    Pages:
    130-136
    File:
    bibtex
    Abstract ( + )