Switch to: Citations

Add references

You must login to add references.
  1. Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.
    The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in ...
    Download  
     
    Export citation  
     
    Bookmark   189 citations  
  • Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.
    Download  
     
    Export citation  
     
    Bookmark   113 citations  
  • Universal Algebra.George Grätzer - 1982 - Studia Logica 41 (4):430-431.
    Download  
     
    Export citation  
     
    Bookmark   105 citations  
  • Representation and duality theory for diagonalizable algebras.Roberto Magari - 1975 - Studia Logica 34 (4):305 - 313.
    The duality theory established by Halmos in [2] for boolean hemimorphism applies of course to the diagonalizable algebra, because ντν is an hemimorphism. For commodity in working on diagonalizable algebras we recall the basic facts and give the characteristic conditions on the dual of ντν.
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • The relation of a to prov ⌜a ⌝ in the lindenbaum sentence algebra.C. F. Kent - 1973 - Journal of Symbolic Logic 38 (2):295-298.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • The relation of a to $\operatorname{prov} \ulcorner a \urcorner$ in the lindenbaum sentence algebra.C. F. Kent - 1973 - Journal of Symbolic Logic 38 (2):295 - 298.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • The fixed-point theorem for diagonalizable algebras.Claudio Bernardi - 1975 - Studia Logica 34 (3):239 - 251.
    Download  
     
    Export citation  
     
    Bookmark   24 citations