Switch to: Citations

Add references

You must login to add references.
  1. Identity connective and modality.Roman Suszko - 1971 - Studia Logica 27 (1):7-39.
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • Investigations into the sentential calculus with identity.Roman Suszko & Stephen L. Bloom - 1972 - Notre Dame Journal of Formal Logic 13 (3):289-308.
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Boolean Algebras.Roman Sikorski - 1966 - Journal of Symbolic Logic 31 (2):251-253.
    Download  
     
    Export citation  
     
    Bookmark   85 citations  
  • Lectures on Boolean Algebras.Paul R. Halmos - 1966 - Journal of Symbolic Logic 31 (2):253-254.
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • Algebraic Logic.Paul Richard Halmos - 2014 - New York, NY, USA: Chelsea.
    2014 Reprint of 1962 Edition. Full facsimile of the original edition, not reproduced with Optical Recognition Software. In "Algebraic Logic" Halmos devised polyadic algebras, an algebraic version of first-order logic differing from the better known cylindric algebras of Alfred Tarski and his students. An elementary version of polyadic algebra is described in monadic Boolean algebra. This book addresses some of the problems of mathematical logic and the theory of polyadic Boolean algebras in particular. It is intended to be an efficient (...)
    Download  
     
    Export citation  
     
    Bookmark   60 citations  
  • An extension algebra and the modal system ${\rm T}$.E. J. Lemmon - 1960 - Notre Dame Journal of Formal Logic 1 (1-2):3-12.
    Download  
     
    Export citation  
     
    Bookmark   10 citations