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  
  • Another proof of Wojtylak's theorem.Jacek Hawranek & Jan Zygmunt - 1981 - Bulletin of the Section of Logic 10 (2):80-81.
    The aim of this note is to give an example of application of model theory to the theory of logical matrices. . More precisely, we show that Wojtylak's representation theorem is an immediate consequence of a result due to Mal'cev . Throughout the present note we assume that matrices, and classes of matrices under consideration are of the same xed similarity type. Suppose that K is an arbitrary class of matrices, and M is a matrix . We say that M1 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Almost structurally complete infinitary consequence operations extending S4.3.Wojciech Dzik & Piotr Wojtylak - 2015 - Logic Journal of the IGPL 23 (4):640-661.
    Download  
     
    Export citation  
     
    Bookmark   1 citation