Bulletin of the Section of Logic 3/1 (1974)


  1. Authors:
    Bernd DAHN

    Title:
    Generalized Kripke models

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Bernd DAHN

    Title:
    A note on generalized Kripke models

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Aileen MICHAELS and Roman SUSZKO

    Title:
    EN-logic

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Aileen MICHAELS

    Title:
    EN-semi-models

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    R.QUACKENBUSH and Roman SUSZKO

    Title:
    Dual spaces for topological Boolean algebras

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Roman SUSZKO

    Title:
    A note on intuitionistic sentential calculus (ISC)

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Marek TOKARZ

    Title:
    Binary functions definable in implicational Goedel algebras

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  8. Authors:
    August PIECZKOWSKI

    Title:
    Uber dem Begriff der Theorie

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  9. Authors:
    Tadeusz PRUCNAL and Andrzej WRONSKI

    Title:
    An algebraic characterization of the notion of structural completeness

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  10. Authors:
    Andrzej WRONSKI

    Title:
    On cardinality of matrices strongly adequate for the intuitionistic propositional logic

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  11. Authors:
    George EPSTEIN and Alfred HORN

    Title:
    Propositional calculi based on subresiduation

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  12. Authors:
    George EPSTEIN and Alfred HORN

    Title:
    Finite limitations on a propositional calculus for affirmation and negation

    Pages:
    -
    File:
    bibtex
    Abstract ( + )
  13. Authors:
    Janusz CZELAKOWSKI

    Title:
    Partial Boolean σ-algebras

    Pages:
    -
    File:
    bibtex
    Abstract ( + )