Bulletin of the Section of Logic 38/1-2 (2009)


  1. Authors:
    Dolph ULRICH

    Title:
    On Two Open Questions Concerning the Implicational Fragment of R-mingle

    Pages:
    1-4
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    George METCLAFE

    Title:
    A Sequent Calculus for Constructive Logic with Strong Negation as a Substructural Logic

    Pages:
    5-11
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    George TOURLAKIS

    Title:
    A New Foundation of a Complete Boolean Equational Logic

    Pages:
    13-29
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Mohamed KHALED and Tarek Sayed AHMED

    Title:
    Classes of Algebras that are not Closed under Completions

    Pages:
    29-43
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Marek NASIENIEWSKI and Andrzej PIETRUSZCZAK

    Title:
    New Axiomatizations of the Weakest Regular Modal Logic Defining Jaskowski's Logic D2

    Pages:
    45-50
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Henri GALINON

    Title:
    A Note on Generalized Functional Completeness in the Realm of Elementary Logic

    Pages:
    51-59
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Gemma ROBLES and Jose M. MENDEZ

    Title:
    The Basic Constructive Logic for Weak Consistency and the Reductio Axioms

    Pages:
    61-76
    File:
    bibtex
    Abstract ( + )
  8. Authors:
    J. Climent VIDAL and J. Soliveres TUR

    Title:
    A Transformation between Institutions Representing the Theorem of Herbrand-Schmidt-Wang

    Pages:
    77-94
    File:
    bibtex
    Abstract ( + )