Switch to: Citations

Add references

You must login to add references.
  1. Extensions of the Lewis system S5.Schiller Joe Scroggs - 1951 - Journal of Symbolic Logic 16 (2):112-120.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   45 citations  
  • Modalities in the survey system of strict implication.William Tuthill Parry - 1939 - Journal of Symbolic Logic 4 (4):137-154.
  • Some theorems about the sentential calculi of Lewis and Heyting.J. C. C. McKinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (1):1-15.
  • A solution of the decision problem for the Lewis systems s2 and s4, with an application to topology.J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (4):117-134.
  • Lattice Theory.Garrett Birkhoff - 1940 - Journal of Symbolic Logic 5 (4):155-157.
  • Lattice Theory.Garrett Birkhoff - 1950 - Journal of Symbolic Logic 15 (1):59-60.
    Direct download  
     
    Export citation  
     
    Bookmark   113 citations