Bulletin of the Section of Logic 35/4 (2006)


  1. Authors:
    A.V. FIGALLO, G. RAMON and S. SAAD

    Title:
    iH-Propositional Calculus

    Pages:
    157-162
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Tarek Sayed AHMED and Basim SAMIR

    Title:
    Neat Embeddings and Amalgamation

    Pages:
    163-171
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    David Gracia GARCIA

    Title:
    An Example of a New Kind of Algebraizability

    Pages:
    173-185
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Norihiro KAMIDE

    Title:
    An Equivalence Between Sequent Calculi for Linear-Time Temporal Logic

    Pages:
    187-193
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Haroldo G. BENATTI and Ruy J.G.B. de QUEIROZ

    Title:
    On the Descriptive Complexity of the Two Disjoint Paths Problem Over Undirected Graphs

    Pages:
    195-214
    File:
    bibtex
    Abstract ( + )