Bulletin of the Section of Logic 7/2 (1978)


  1. Authors:
    David MILLER

    Title:
    On provability measures for deductive systems III

    Pages:
    51-57
    File:
    bibtex
    Abstract ( + )
  2. Authors:
    Stanislaw ZACHOROWSKI

    Title:
    Dummet's LC has the interpolation property

    Pages:
    58-60
    File:
    bibtex
    Abstract ( + )
  3. Authors:
    Richard ROUTLEY

    Title:
    An inadequacy in Kripke-semantics for intuitionistic quantificational logic

    Pages:
    61-67
    File:
    bibtex
    Abstract ( + )
  4. Authors:
    Ewa ORLOWSKA

    Title:
    Resolution system for ω+-valued logic

    Pages:
    68-74
    File:
    bibtex
    Abstract ( + )
  5. Authors:
    Zdzislaw DYWAN

    Title:
    Dual counterparts of strongly finite consequence

    Pages:
    75-75
    File:
    bibtex
    Abstract ( + )
  6. Authors:
    Mieczyslaw OMYLA

    Title:
    Boolean theories with quantifiers

    Pages:
    76-83
    File:
    bibtex
    Abstract ( + )
  7. Authors:
    Elias H. ALVES and Jose E.de ALMEIDA MOURA

    Title:
    On some higher-order predicate calculi

    Pages:
    84-84
    File:
    bibtex
    Abstract ( + )
  8. Authors:
    Ayda I. ARRUDA

    Title:
    Some remarks on Griss' logic of negationless intuitionistic mathematics

    Pages:
    85-85
    File:
    bibtex
    Abstract ( + )
  9. Authors:
    Rolando CHUAQUI

    Title:
    Bernays' class theory

    Pages:
    86-86
    File:
    bibtex
    Abstract ( + )
  10. Authors:
    Roberto CIGNOLI

    Title:
    Deductive systems and congruence relation in ortholattices

    Pages:
    87-87
    File:
    bibtex
    Abstract ( + )
  11. Authors:
    Manuel CORRADA and Rolando CHUAQUI

    Title:
    Internal models for any finite subset of the axioms of the impredicative theory of classes

    Pages:
    88-88
    File:
    bibtex
    Abstract ( + )
  12. Authors:
    Matias F. DIAS

    Title:
    The reals in D*

    Pages:
    88-88
    File:
    bibtex
    Abstract ( + )
  13. Authors:
    Manuel M. FIDEL

    Title:
    An algebraic study of a propositional system of Nelson

    Pages:
    89-89
    File:
    bibtex
    Abstract ( + )
  14. Authors:
    Marcel GUILLAUME

    Title:
    Some remarks in set theory

    Pages:
    90-90
    File:
    bibtex
    Abstract ( + )
  15. Authors:
    Jerzy KOTAS and Newton C.A.da COSTA

    Title:
    On the problem of Jaskowski and the logics of Lukasiewicz

    Pages:
    91-91
    File:
    bibtex
    Abstract ( + )
  16. Authors:
    Andrea LOPARIC

    Title:
    The method of valuations in modal logic

    Pages:
    91-91
    File:
    bibtex
    Abstract ( + )
  17. Authors:
    Luis H.L.dos SANTOS

    Title:
    Discussive versions of the modal calculi T, B, S4 and S5

    Pages:
    92-92
    File:
    bibtex
    Abstract ( + )
  18. Authors:
    Carlos LUNGARZO

    Title:
    Superposition of states in quantum logic from a set theoretical point of view

    Pages:
    92-92
    File:
    bibtex
    Abstract ( + )
  19. Authors:
    Maria V. MARSHALL and Rolando CHUAQUI

    Title:
    Constructability in the impredicative theory of classes

    Pages:
    93-93
    File:
    bibtex
    Abstract ( + )
  20. Authors:
    Irene MIKENBERG

    Title:
    From total to partial algebras

    Pages:
    94-94
    File:
    bibtex
    Abstract ( + )
  21. Authors:
    Charles C. PINTER

    Title:
    Cylindric algebras with a property of Rasiowa and Sikorski

    Pages:
    95-95
    File:
    bibtex
    Abstract ( + )
  22. Authors:
    Andres R. RAGGIO

    Title:
    A proof-theoretic analysis of da Costa's C*

    Pages:
    95-95
    File:
    bibtex
    Abstract ( + )
  23. Authors:
    H.P. SANKAPPANAVAR

    Title:
    Decision problems: history and methods

    Pages:
    96-96
    File:
    bibtex
    Abstract ( + )
  24. Authors:
    Antonio M.SETTE and J.S. SETTE

    Title:
    Functorialization of first-order language with finitely many predicates

    Pages:
    97-101
    File:
    bibtex
    Abstract ( + )