Switch to: Citations

Add references

You must login to add references.
  1. On the degree of complexity of sentential logics. A couple of examples.Jacek Hawranek & Jan Zygmunt - 1981 - Studia Logica 40 (2):141 - 153.
    The first part of the paper is a reminder of fundamental results connected with the adequacy problem for sentential logics with respect to matrix semantics. One of the main notions associated with the problem, namely that of the degree of complexity of a sentential logic, is elucidated by a couple of examples in the second part of the paper. E.g., it is shown that the minimal logic of Johansson and some of its extensions have degree of complexity 2. This is (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A Remark On Maximal Matrix Consequences.Marek Tokarz - 1977 - Bulletin of the Section of Logic 6 (4):190-191.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
    Provability, Computability and Reflection.
    Download  
     
    Export citation  
     
    Bookmark   229 citations  
  • A survey of some connections between classical, intuitionistic and minimal logic.D. Prawitz & P.-E. Malmnäs - 1968 - In H. Arnold Schmidt, K. Schütte & H. J. Thiele (eds.), Contributions to mathematical logic. Amsterdam,: North-Holland. pp. 215–229.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • (1 other version)Matrix representations for structural strengthenings of a propositional logic.Piotr Wojtylak - 1979 - Studia Logica 38 (3):263 - 266.
    The aim of this paper is to show that the operations of forming direct products and submatrices suffice to construct exhaustive semantics for all structural strengthenings of the consequence determined by a given class of logical matrices.
    Download  
     
    Export citation  
     
    Bookmark   9 citations