4 found
Order:
  1.  11
    A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC.Vladimir V. Rybakov, Mehmet Terziler & Vitaliy Remazki - 2000 - Mathematical Logic Quarterly 46 (2):207-218.
    We study the problem of finding a basis for all rules admissible in the intuitionistic propositional logic IPC. The main result is Theorem 3.1 which gives a basis consisting of all rules in semi-reduced form satisfying certain specific additional requirements. Using developed technique we also find a basis for rules admissible in the logic of excluded middle law KC.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  19
    On a Question of Phillips.Çiǧdem Gencer & Mehmet Terziler - 1997 - Mathematical Logic Quarterly 43 (1):78-82.
    In [5] Phillips proved that one can obtain the additive group of any nonstandard model *ℤ of the ring ℤ of integers by using a linear mod 1 function h : F ℚ, where F is the α-dimensional vector space over ℚ when α is the cardinality of *ℤ. In this connection it arises the question whether there are linear mod 1 functions which are neither addition nor quasi-linear. We prove that this is the case.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  7
    On a Question of Phillips.Çi??dem Gencer & Mehmet Terziler - 1997 - Mathematical Logic Quarterly 43 (1):78-82.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  15
    On the Additive Group Structure of the Nonstandard Models of the Theory of Integers.Hasan Dalgin, Labib Haddad & Mehmet Terziler - 2002 - Mathematical Logic Quarterly 48 (3):403-412.
    Let equation image denote the inverse limit of all finite cyclic groups. Let F, G and H be abelian groups with H ≤ G. Let FβH denote the abelian group , where +βis defined by +β = + β — β) for a certain β : F → G linear mod H meaning that β = 0 and β + β — β ∈ H for all a, b in F. In this paper we show that the following hold: The (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark