1. Jarosław Achinger (1986). Generalization of Scott's Formula for Retractions From Generalized Alexandroff's Cube. Studia Logica 45 (3):281 - 292.
    In the paper [2] the following theorem is shown: Theorem (Th. 3,5, [2]), If =0 or = or , then a closure space X is an absolute extensor for the category of , -closure spaces iff a contraction of X is the closure space of all , -filters in an , -semidistributive lattice.In the case when = and =, this theorem becomes Scott's theorem.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Jarosław Achinger (1986). On a Problem of P(Α, Δ, Π) Concerning Generalized Alexandroff S Cube. Studia Logica 45 (3):293 - 300.
    Universality of generalized Alexandroff's cube plays essential role in theory of absolute retracts for the category of , -closure spaces. Alexandroff's cube. is an , -closure space generated by the family of all complete filters. in a lattice of all subsets of a set of power .Condition P(, , ) says that is a closure space of all , -filters in the lattice ( ).
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Jarosław Achinger & Andrzej W. Jankowski (1986). On Decidable Consequence Operators. Studia Logica 45 (4):415 - 424.
    The main theorem says that a consequence operator is an effective part of the consequence operator for the classical prepositional calculus iff it is a consequence operator for a logic satisfying the compactness theorem, and in which every finitely axiomatizable theory is decidable.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation