Switch to: References

Add citations

You must login to add citations.
  1. Logic and Majority Voting.Ryo Takemura - 2021 - Journal of Philosophical Logic 51 (2):347-382.
    To investigate the relationship between logical reasoning and majority voting, we introduce logic with groups Lg in the style of Gentzen’s sequent calculus, where every sequent is indexed by a group of individuals. We also introduce the set-theoretical semantics of Lg, where every formula is interpreted as a certain closed set of groups whose members accept that formula. We present the cut-elimination theorem, and the soundness and semantic completeness theorems of Lg. Then, introducing an inference rule representing majority voting to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Representing voting rules in Łukasiewicz’s three-valued logic.Adrian Miroiu & Mircea Dumitru - 2022 - Journal of Applied Non-Classical Logics 32 (1):72-88.
    We show how voting rules like the simple and the absolute majority rules, unanimity, consensus, etc. can be represented as logical operators in Łukasiewicz’s three-valued logic. First, we prove tha...
    Download  
     
    Export citation  
     
    Bookmark