Works by Tzouvaras, Athanossios (exact spelling)

Order:
  1.  19
    Positive set-operators of low complexity.Athanossios Tzouvaras - 2003 - Mathematical Logic Quarterly 49 (3):284.
    The powerset operator, [MATHEMATICAL SCRIPT CAPITAL P], is compared with other operators of similar type and logical complexity. Namely we examine positive operators whose defining formula has a canonical form containing at most a string of universal quantifiers. We call them ∀-operators. The question we address in this paper is: How is the class of ∀-operators generated ? It is shown that every positive ∀-operator Γ such that Γ ≠ ∅, is finitely generated from [MATHEMATICAL SCRIPT CAPITAL P], the identity (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation