Bulletin of the Section of Logic 13/2 (1984)


  1. Authors:
    Marek TOKARZ

    Title:
    Towards a formal semiotics

    Pages:
    44-49
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Jacek HAWRANEK

    Title:
    On the degree of matrix complexity

    Pages:
    50-54
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Siegfried GOTTWALD

    Title:
    T-norms and φ-operators as truth functions of many valued connectives

    Pages:
    55-59
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Ingmar PORN

    Title:
    Deontic detachment

    Pages:
    60-63
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Alexander S.KARPENKO

    Title:
    Characterization of prime numbers by Lukasiewicz's many-valued logics

    Pages:
    64-68
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Andrzej BIELA

    Title:
    The program-substitution in algorithmic logic and algorithmic logic with non-deterministic programs

    Pages:
    69-74
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Kazimierz TRZESICKI

    Title:
    Gentzen-style axiomatization of tense logic

    Pages:
    75-84
    File:
    bibtex
    Abstract ( + )
  8. Authors:
    Zdzislaw DYWAN

    Title:
    An interpretation of Aristotle's syllogistic and a certain fragment of set theory in propositional calculi

    Pages:
    85-91
    File:
    bibtex
    Abstract ( + )
  9. Authors:
    Zdzislaw DYWAN

    Title:
    On Lemmon's interpretations of the connective of necessity

    Pages:
    92-98
    File:
    bibtex
    Abstract ( + )
  10. Authors:
    Zdzislaw DYWAN

    Title:
    An interpretation of a certain fragment of arithmetic in some propositional calculus

    Pages:
    99-110
    File:
    bibtex
    Abstract ( + )