Works by Machover, M. (exact spelling)

8 found
Order:
  1. A Course in Mathematical Logic.J. L. Bell & M. Machover - 1978 - British Journal for the Philosophy of Science 29 (2):207-208.
     
    Export citation  
     
    Bookmark   61 citations  
  2.  14
    Bertrand russell memorial logic conference £200 essay prize.J. L. Bell, M. A. Dickmann, M. Machover, G. Priest, A. B. Slomson, Y. Suzuki & G. M. Wilmers - 1975 - Journal of Symbolic Logic 40 (2):298-298.
  3. Sequential voting by veto: Extending the applicability of the Mueller-Moulin algorithm.D. S. Felsenthal & M. Machover - 1992 - Theory and Decision 33:223-240.
  4.  37
    The QM rule in the Nice and EU reform treaties: future projections.D. Felsenthal & M. Machover - unknown
    We analyse the projected future evolution of the distribution of voting power and related quantities under the qualified majority decision rule for the Council of Ministers of the EU, prescribed by the forthcoming EU Reform Treaty. Our projections are based on the demographic changes forecast by eurostat [4] for the period stretching from the present to the middle of the 21st Century. We use a method similar to the one we used in [6], [7], [8] and [9].
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  4
    A Note on Sentences Preserved under Direct Products and Powers.M. Machover - 1967 - Journal of Symbolic Logic 32 (4):533-533.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  42
    Contextual determinacy in Leśniewski's grammar.M. Machover - 1966 - Studia Logica 19 (1):47-55.
  7.  20
    Kontekstowa określoność W gramatyce leśniewskiego.M. Machover - 1966 - Studia Logica 19 (1):56-56.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  23
    Penrose's square-root rule and the EU Council of Ministers: significance of the quota.M. Machover - unknown
    In a two-tier decision-making system such as the EU Council of Ministers, if the number of constituencies (member-states) is sufficiently large (say, 15 or more), Penrose’s Square-Root rule can be implemented to a high level of approximation by a simple weighted decision rule at the top level (the Council) with any given quota q smaller than the total weight. This leaves one degree of freedom: the value of q as a free parameter, to be determined by some additional condition. I (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark