Search results for 'Bedri Gencer' (try it on Scholar)

5 found
Sort by:
  1. Bedri Gencer (2010). Sovereignty and the Separation of Powers in John Locke. The European Legacy 15 (3):323-339.score: 120.0
    Locke's conceptualization of sovereignty and its uses, combining theological, social, and political perspectives, testifies to his intellectual profundity that was spurred by his endeavour to re-traditionalize a changing world. First, by relying on the traditional, personalistic notion of polity, Locke developed a concept of sovereignty that bore the same sense of authority as the “right of commanding” attributable only to real persons. Second, he managed to reconcile the unitary nature of sovereignty with the plurality of its uses, mainly through a (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. V. V. Rybakov, M. Terziler & C. Gencer (2000). On Self-Admissible Quasi-Characterizing Inference Rules. Studia Logica 65 (3):417-428.score: 30.0
    We study quasi-characterizing inference rules (this notion was introduced into consideration by A. Citkin (1977). The main result of our paper is a complete description of all self-admissible quasi-characterizing inference rules. It is shown that a quasi-characterizing rule is self-admissible iff the frame of the algebra generating this rule is not rigid. We also prove that self-admissible rules are always admissible in canonical, in a sense, logics S4 or IPC regarding the type of algebra generating rules.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  3. Çiǧdem Gencer & Mehmet Terziler (1997). On a Question of Phillips. Mathematical Logic Quarterly 43 (1):78-82.score: 30.0
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. V. V. Rybakov, M. Terziler & C. Gencer (1999). An Essay on Unification and Inference Rules for Modal Logics. Bulletin of the Section of Logic 28 (3):145-157.score: 30.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. V. V. Rybakov, M. Terziler & C. Gencer (2000). Unification and Passive Inference Rules for Modal Logics. Journal of Applied Non-Classical Logics 10 (3-4):369-377.score: 30.0
    ABSTRACT We1 study unification of formulas in modal logics and consider logics which are equivalent w.r.t. unification of formulas. A criteria is given for equivalence w.r.t. unification via existence or persistent formulas. A complete syntactic description of all formulas which are non-unifiable in wide classes of modal logics is given. Passive inference rules are considered, it is shown that in any modal logic over D4 there is a finite basis for passive rules.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation