Switch to: References

Add citations

You must login to add citations.
  1. Strongly finite logics: finite axiomatizability and the problem of supremum.Piotr Wojtylak - 1979 - Bulletin of the Section of Logic 8 (2):99-111.
    This paper, which in its subject matter goes back to works on strongly nite logics , is concerned with the following problems: Let Cn1; Cn2 be two strongly nite logics over the same propositional language. Is the supremum of Cn1 and Cn2 also a strongly nite operation? Is any nite matrix axiomatizable by a nite set of standard rules? The rst question can be found in [9] . The second conjec- ture was formulated by Wolfgang Rautenberg, but investigations into this (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations