Switch to: References

Add citations

You must login to add citations.
  1. The lattice of strengthenings of a strongly finite consequence operation.Wiesław Dziobiak - 1981 - Studia Logica 40 (2):177 - 193.
    First, we prove that the lattice of all structural strengthenings of a given strongly finite consequence operation is both atomic and coatomic, it has finitely many atoms and coatoms, each coatom is strongly finite but atoms are not of this kind — we settle this by constructing a suitable counterexample. Second, we deal with the notions of hereditary: algebraicness, strong finitisticity and finite approximability of a strongly finite consequence operation. Third, we formulate some conditions which tell us when the lattice (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • (1 other version)An example of strongly finite consequence operation with 2ℵ0 standard strengthenings.Wies?aw Dziobiak - 1980 - Studia Logica 39 (4):375 - 379.
    Using ideas from Murskii [3], Tokarz [4] and Wroski [7] we construct some strongly finite consequence operation having 2%0 standard strengthenings. In this way we give the affirmative answer to the following question, stated in Tokarz [4]: are there strongly finite logics with the degree of maximality greater than 0?
    Download  
     
    Export citation  
     
    Bookmark  
  • Zagadnienie stopni maksymalnoścl. (Przegląd).Grzegorz Malinowski - 1985 - Acta Universitatis Lodziensis. Folia Philosophica. Ethica-Aesthetica-Practica 3:37-57.
    Artykuł jest celnym przeglądem metod dowodzenia twierdzeń o stopniach maksymalności i rezultatów uzyskanych w tej dziedzinie do 1979 r.
    Download  
     
    Export citation  
     
    Bookmark  
  • (3 other versions)Equivalential logics (II).Janusz Czelakowski - 1981 - Studia Logica 40 (4):355 - 372.
    In the first section logics with an algebraic semantics are investigated. Section 2 is devoted to subdirect products of matrices. There, among others we give the matrix counterpart of a theorem of Jónsson from universal algebra. Some positive results concerning logics with, finite degrees of maximality are presented in Section 3.
    Download  
     
    Export citation  
     
    Bookmark   35 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  
  • An example of strongly finite consequence operation with 2ℵ0 standard strengthenings.Wies law Dziobiak - 1979 - Bulletin of the Section of Logic 8 (2):95-97.
    Download  
     
    Export citation  
     
    Bookmark  
  • On two notions concerning the structural sentential calculi.Wies law Dziobiak & Wojciech Sachwanowicz - 1979 - Bulletin of the Section of Logic 8 (2):54-58.
    Download  
     
    Export citation  
     
    Bookmark