Bulletin of the Section of Logic 36/1-2 (2007)


  1. Authors:
    Robert SOCHACKI

    Title:
    Axiomatic Rejection in the Implicational-Negational Invariant Sentential Calculi of Lukasiewicz

    Pages:
    1-6
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Grzegorz MALINOWSKI

    Title:
    That p + q = c(onsequence)

    Pages:
    7-19
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Tarek Sayed AHMED

    Title:
    A Non-finitizability Result in Algebraic Logic

    Pages:
    21-27
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Tarek Sayed AHMED

    Title:
    Neat Embedding is not Sufficient for Complete Representability

    Pages:
    29-35
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Zofia KOSTRZYCKA

    Title:
    On the Existence of a Continuum of Logics in NEXT(KTB+L2p->L3p)

    Pages:
    37-43
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Jose M. MENDEZ, Gemma ROBLES and Francisco SALTO

    Title:
    The Basic Constructive Logic for Negation-Consistency Defined with a Propositional Falsity Constant

    Pages:
    45-57
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Szymon FRANKOWSKI

    Title:
    Pure Strict Implication Logics

    Pages:
    59-65
    File:
    bibtex
    Abstract ( + )
  8. Authors:
    Andrew SCHUMANN

    Title:
    Non-Archimedean Valued Predicate Logic

    Pages:
    67-78
    File:
    bibtex
    Abstract ( + )
  9. Authors:
    Lidia BADURA and Marek ZAIONC

    Title:
    Parametrizability by Regular Expressions for Equations on Words

    Pages:
    79-93
    File:
    bibtex
    Abstract ( + )