Bulletin of the Section of Logic 22/1 (1993)


  1. Authors:
    Jean-Yves BEZIAU

    Title:
    On the formalization of the principium rationis sufficientis

    Pages:
    2-3
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Piotr BOROWIK

    Title:
    Many-sequent first order predicate logic

    Pages:
    4-8
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Marek CHUCHRO

    Title:
    A certain conception of rough sets in topological Boolean algebras

    Pages:
    9-12
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Janusz KACZMAREK

    Title:
    A formal interpretation of propositions

    Pages:
    13-17
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Adam KOLANY

    Title:
    Logical aspects of hypergraphs

    Pages:
    18-23
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Piotr LUKOWSKI

    Title:
    Three semantics for Intuitionistic Sentential Calculus with Identity

    Pages:
    24-27
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Katarzyna SLOMCZYNSKA

    Title:
    Representation theorem for equivalential algebras

    Pages:
    28-32
    File:
    bibtex
    Abstract ( + )
  8. Authors:
    Boguslaw WOLNIEWICZ

    Title:
    A question of logic in the philosophy of religion

    Pages:
    33-36
    File:
    bibtex
    Abstract ( + )
  9. Authors:
    Andrzej WRONSKI

    Title:
    On the free equivalential algebra with three generators

    Pages:
    37-39
    File:
    bibtex
    Abstract ( + )
  10. Authors:
    Ewa ZARNECKA-BIALY

    Title:
    Aristotle's proofs by ecthesis

    Pages:
    40-44
    File:
    bibtex
    Abstract ( + )