Bulletin of the Section of Logic 41/1-2 (2012)


  1. Authors:
    Janis CIRULIS

    Title:
    Orthoposets with Quantifiers

    Pages:
    1-12
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Dolph ULRICH

    Title:
    Single Axiom for Relevant Implication

    Pages:
    13-16
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Rodolfo C. Ertola BIRABEN

    Title:
    On Some Extensions of Intuitionistic Logic

    Pages:
    17-22
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Zofia KOSTRZYCKA

    Title:
    On Interpolation and Hallden-Completeness in NEXT(KTB)

    Pages:
    23-32
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Andrzej PIETRUSZCZAK

    Title:
    Semantical Investigations on Some Weak Modal Logics. Part I

    Pages:
    33-50
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Gemma ROBLES

    Title:
    A Semantical Proof of the Admissibility of the Rule Assertion in Some Relevant and Modal Logics

    Pages:
    51-60
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Szymon Frankowski

    Title:
    Triconsequences

    Pages:
    61-70
    File:
    bibtex
    Abstract ( + )
  8. Authors:
    A. V. FIGALLO and G. PELAITAY

    Title:
    Remarks on Heyting Algebras with Tense Operators

    Pages:
    71-74
    File:
    bibtex
    Abstract ( + )
  9. Authors:
    Katsumi SASAKI

    Title:
    Transitivity of Finite Models Constructed from Normal Forms for a Modal Logic Containing K4

    Pages:
    75-88
    File:
    bibtex
    Abstract ( + )
  10. Authors:
    Andrzej INDRZEJCZAK

    Title:
    Cut-Free Hypersequent Calculus for S4.3.

    Pages:
    89-104
    File:
    bibtex
    Abstract ( + )