Bulletin of the Section of Logic 15/3 (1986)details

Table of contents

  • 1. Zdzislaw HABASINSKI, Decidability in Pratt's process logic88

  • 2. Andre T.FUHRMANN, Gentzen semantics for de Morgan lattice logic96

  • 3. Alexander S.KARPENKO, A hypothesis on the finiteness of graphs for Lukasiewicz's precomplete
    logics (graphs for prime numbers)

  • 4. Vladimir L.VASYUKOV, The bibinary semantics for R and Lω

  • 5. Stanislaw WRONSKI, On the operations definable in terms of the complementation and the closure

  • 6. Gyorgy SERENY, Lower level connections between representations of relation algebras (abstract)