Switch to: Citations

Add references

You must login to add references.
  1. 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.
    Download  
     
    Export citation  
     
    Bookmark   150 citations  
  • The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.
    Download  
     
    Export citation  
     
    Bookmark   135 citations  
  • Negative-existentially complete structures and definability in free extensions.Volker Weispfenning - 1976 - Journal of Symbolic Logic 41 (1):95-108.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Model existence theorems for modal and intuitionistic logics.Melvin Fitting - 1973 - Journal of Symbolic Logic 38 (4):613-627.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • On Closed Elements in Closure Algebras.J. C. C. Mckinsey & Alfred Tarski - 1946 - Annals of Mathematics, Ser. 2 47:122-162.
    Download  
     
    Export citation  
     
    Bookmark   46 citations