Bulletin of the Section of Logic 21/4 (1992)


  1. Authors:
    Newton C.A.da COSTA and F.A.DORIA

    Title:
    On the existence of very difficult satisfiability problem

    Pages:
    122-133
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Krister SEGERBERG

    Title:
    How many logically constant actions are there?

    Pages:
    134-139
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Gordon BEAVERS

    Title:
    Distribution in Lukasiewicz logics

    Pages:
    140-146
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Katarzyna PALASINSKA

    Title:
    Three-element nonfinitely axiomatizable matrices

    Pages:
    147-151
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Ewa GRACZYNSKA

    Title:
    A word problem for normal and regular equations

    Pages:
    152-155
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Piotr LUKOWSKI

    Title:
    Matrix-frame semantics for ISCI and INT

    Pages:
    156-162
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    R.ZUBER

    Title:
    A note on unary rules and a complete syntactic characterisation of propositional calculi

    Pages:
    163-167
    File:
    bibtex
    Abstract ( + )
  8. Authors:
    Max Peter URCHS

    Title:
    On determinism - still unproved in classical logic

    Pages:
    168-
    File:
    bibtex
    Abstract ( + )