Switch to: Citations

Add references

You must login to add references.
  1. 2-Element Matrices.Wolfgang Rautenberg - 1981 - Studia Logica 40 (4):315 - 353.
    Sections 1, 2 and 3 contain the main result, the strong finite axiomatizability of all 2-valued matrices. Since non-strongly finitely axiomatizable 3-element matrices are easily constructed the result reveals once again the gap between 2-valued and multiple-valued logic. Sec. 2 deals with the basic cases which include the important F i from Post's classification. The procedure in Sec. 3 reduces the general problem to these cases. Sec. 4 is a study of basic algebraic properties of 2-element algebras. In particular, we (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  • Matrix Approach in Methodology of Sentential Calculi.Ryszard Wójcicki - 1973 - Studia Logica 32 (1):7 - 39.
  • The Mathematics of Metamathematics.Helena Rasiowa - 1963 - Warszawa, Państwowe Wydawn. Naukowe.
    Direct download  
     
    Export citation  
     
    Bookmark   159 citations