A Sound and Complete Axiomatization of Majority- Logic
Manipulating logic functions via majority operators recently drew the attention of researchers in computer science. For example, circuit optimization based on majority operators enables superior results as compared to traditional synthesis tools. Also, the Boolean satisfiability problem finds new so...
Uloženo v:
| Vydáno v: | IEEE transactions on computers Ročník 65; číslo 9; s. 2889 - 2895 |
|---|---|
| Hlavní autoři: | , , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
New York
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
01.09.2016
|
| Témata: | |
| ISSN: | 0018-9340, 1557-9956 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | Manipulating logic functions via majority operators recently drew the attention of researchers in computer science. For example, circuit optimization based on majority operators enables superior results as compared to traditional synthesis tools. Also, the Boolean satisfiability problem finds new solution approaches when described in terms of majority decisions. To support computer logic applications based on majority, a sound and complete set of axioms is required. Most of the recent advances in majority logic deal only with ternary majority (MAJ-3) operators because the axiomatization with solely MAJ-3 and complementation operators is well understood. However, it is of interest extending such axiomatization to [Formula Omitted]-ary majority operators (MAJ- [Formula Omitted]) from both the theoretical and practical perspective. In this work, we address this issue by introducing a sound and complete axiomatization of MAJ- [Formula Omitted] logic. Our axiomatization naturally includes existing MAJ-3 and MAJ-5 axiomatic systems. Based on this general set of axioms, computer applications can now fully exploit the expressive power of majority logic. |
|---|---|
| AbstractList | Manipulating logic functions via majority operators recently drew the attention of researchers in computer science. For example, circuit optimization based on majority operators enables superior results as compared to traditional synthesis tools. Also, the Boolean satisfiability problem finds new solution approaches when described in terms of majority decisions. To support computer logic applications based on majority, a sound and complete set of axioms is required. Most of the recent advances in majority logic deal only with ternary majority (MAJ-3) operators because the axiomatization with solely MAJ-3 and complementation operators is well understood. However, it is of interest extending such axiomatization to [Formula Omitted]-ary majority operators (MAJ- [Formula Omitted]) from both the theoretical and practical perspective. In this work, we address this issue by introducing a sound and complete axiomatization of MAJ- [Formula Omitted] logic. Our axiomatization naturally includes existing MAJ-3 and MAJ-5 axiomatic systems. Based on this general set of axioms, computer applications can now fully exploit the expressive power of majority logic. |
| Author | De Micheli, Giovanni Amaru, Luca Chattopadhyay, Anupam Gaillardon, Pierre-Emmanuel |
| Author_xml | – sequence: 1 givenname: Luca surname: Amaru fullname: Amaru, Luca – sequence: 2 givenname: Pierre-Emmanuel surname: Gaillardon fullname: Gaillardon, Pierre-Emmanuel – sequence: 3 givenname: Anupam surname: Chattopadhyay fullname: Chattopadhyay, Anupam – sequence: 4 givenname: Giovanni surname: De Micheli fullname: De Micheli, Giovanni |
| BookMark | eNp1kD1rwzAQhkVJoUnauauhs5M7Ofoag-kXpHSoOwvZkopCYqWyA01_fZ0mU6HDyy3vc3c8EzJqY-sIuUWYIYKaV-WMArIZZcAZ5xdkjIyJXCnGR2QMgDJXxQKuyKTr1gDAKagx4cvsLe5bm5khZdzuNq532fIrxK3pw_eQ2GbRZy9mHVPoD3m2ih-huSaX3mw6d3OeU_L-cF-VT_nq9fG5XK7yhlLkubDCAcO6NrVUC-cNMC4oSEmZdc5ibX2NijovwAjBLK9p0Uix8FgIJa0ppuTutHeX4ufedb1ex31qh5MaJQITjBd8aLFTq0mx65Lzugn97-t9MmGjEfRRka5KfVSkz4oGbv6H26WwNenwL_EDlFpoLw |
| CitedBy_id | crossref_primary_10_1109_TCAD_2023_3257082 crossref_primary_10_1109_TC_2019_2906201 crossref_primary_10_1109_ACCESS_2021_3079310 crossref_primary_10_1007_s10825_018_1219_4 crossref_primary_10_1109_TNANO_2023_3326199 crossref_primary_10_1109_TASC_2020_2978428 crossref_primary_10_1109_TASC_2023_3261267 crossref_primary_10_1109_TCAD_2019_2897703 crossref_primary_10_1109_JPROC_2018_2869760 crossref_primary_10_1007_s00542_017_3587_2 crossref_primary_10_1109_MCAS_2025_3540743 crossref_primary_10_1109_TC_2018_2881245 crossref_primary_10_1109_MNANO_2021_3113218 crossref_primary_10_1109_TC_2017_2696524 crossref_primary_10_1109_TCAD_2017_2664059 |
| Cites_doi | 10.1007/978-1-4615-5139-3 10.1109/TEC.1962.5219329 10.1016/j.tcs.2004.12.026 10.1021/nl4016107 10.1143/JJAP.38.7227 10.1109/TNANO.2013.2241075 10.1007/s10825-014-0589-5 10.21236/AD0407946 10.4007/annals.2010.171.295 10.1109/PGEC.1963.263529 10.1109/NANOARCH.2011.5941494 10.1109/TC.2007.30 10.1109/TNANO.2014.2312177 10.1109/TEC.1961.5219289 10.1126/science.1120506 10.1109/TCAD.2004.839468 10.1109/TEC.1961.5219147 10.1109/PGEC.1964.263903 10.1145/2593069.2593158 10.1109/TEC.1960.5219856 10.1109/TC.2009.21 10.1016/S0304-3975(96)00019-9 10.1090/S0002-9947-1904-1500675-4 10.1109/TNANO.2003.820815 10.1038/nnano.2010.31 10.1016/0196-6774(84)90016-6 10.2307/2372123 |
| ContentType | Journal Article |
| Copyright | Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2016 |
| Copyright_xml | – notice: Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2016 |
| DBID | AAYXX CITATION 7SC 7SP 8FD JQ2 L7M L~C L~D |
| DOI | 10.1109/TC.2015.2506566 |
| DatabaseName | CrossRef Computer and Information Systems Abstracts Electronics & Communications Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Technology Research Database Computer and Information Systems Abstracts – Academic Electronics & Communications Abstracts ProQuest Computer Science Collection Computer and Information Systems Abstracts Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Technology Research Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Computer Science |
| EISSN | 1557-9956 |
| EndPage | 2895 |
| ExternalDocumentID | 4143863961 10_1109_TC_2015_2506566 |
| GroupedDBID | --Z -DZ -~X .DC 0R~ 29I 4.4 5GY 6IK 85S 97E AAJGR AASAJ AAWTH AAYXX ABQJQ ABUFD ABVLG ACGFO ACIWK ACNCT AENEX AETEA AGQYO AGSQL AHBIQ AKQYR ALMA_UNASSIGNED_HOLDINGS ASUFR ATWAV BEFXN BFFAM BGNUA BKEBE BPEOZ CITATION CS3 DU5 EBS EJD HZ~ IEDLZ IFIPE IPLJI JAVBF LAI M43 MS~ O9- OCL P2P PQQKQ RIA RIE RNS RXW TAE TN5 TWZ UHB UPT XZL YZZ 7SC 7SP 8FD AARMG ABAZT JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c2216-7d7e051bbab894efa0567208825deed1bdfb192ef70a775d6b23c874f13798da3 |
| ISSN | 0018-9340 |
| IngestDate | Mon Jun 30 06:40:59 EDT 2025 Tue Nov 18 22:32:05 EST 2025 Sat Nov 29 01:35:38 EST 2025 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 9 |
| Language | English |
| License | https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/OAPA.html |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c2216-7d7e051bbab894efa0567208825deed1bdfb192ef70a775d6b23c874f13798da3 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| OpenAccessLink | https://infoscience.epfl.ch/record/213776/files/1502.06359v3.pdf |
| PQID | 1810575636 |
| PQPubID | 85452 |
| PageCount | 7 |
| ParticipantIDs | proquest_journals_1810575636 crossref_citationtrail_10_1109_TC_2015_2506566 crossref_primary_10_1109_TC_2015_2506566 |
| PublicationCentury | 2000 |
| PublicationDate | 2016-9-1 20160901 |
| PublicationDateYYYYMMDD | 2016-09-01 |
| PublicationDate_xml | – month: 09 year: 2016 text: 2016-9-1 day: 01 |
| PublicationDecade | 2010 |
| PublicationPlace | New York |
| PublicationPlace_xml | – name: New York |
| PublicationTitle | IEEE transactions on computers |
| PublicationYear | 2016 |
| Publisher | The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
| Publisher_xml | – name: The Institute of Electrical and Electronics Engineers, Inc. (IEEE) |
| References | ref35 ref13 ref34 ref12 ref37 ref15 ref36 ref31 arman (ref14) 2014; 13 ref33 ref11 ref32 ref10 ref1 shabadi (ref20) 2014 (ref39) 0 ref16 ref19 ref18 de micheli (ref27) 1994 massey (ref30) 1963 amarú (ref3) 2015 ref23 ref25 biere (ref29) 2009; 185 ref22 v (ref24) 1904; 5 bhanja (ref21) 2007; 56 brown (ref26) 2003 garey (ref28) 1979 ref7 amarú (ref2) 0 wegener (ref38) 1987 ref9 amarú (ref4) 0 ref6 hao (ref17) 0 ref5 wohl (ref8) 2013 |
| References_xml | – ident: ref7 doi: 10.1007/978-1-4615-5139-3 – ident: ref34 doi: 10.1109/TEC.1962.5219329 – ident: ref19 doi: 10.1016/j.tcs.2004.12.026 – ident: ref18 doi: 10.1021/nl4016107 – ident: ref13 doi: 10.1143/JJAP.38.7227 – ident: ref16 doi: 10.1109/TNANO.2013.2241075 – volume: 13 start-page: 701 year: 2014 ident: ref14 article-title: A symmetric quantum-dot cellular automata design for 5-input majority gate publication-title: J Comput Electron doi: 10.1007/s10825-014-0589-5 – year: 1963 ident: ref30 publication-title: Threshold Decoding doi: 10.21236/AD0407946 – ident: ref5 doi: 10.4007/annals.2010.171.295 – start-page: 1 year: 0 ident: ref2 article-title: Boolean logic optimization in majority-inverter graphs publication-title: Proc 52nd ACM/EDAC/IEEE Des Autom Conf – start-page: 1 year: 2015 ident: ref3 article-title: Majority-inverter graph: A new paradigm for logic optimization publication-title: IEEE Trans Comput -Aided Design Integr Circuits Syst – year: 1987 ident: ref38 article-title: The complexity of Boolean functions publication-title: The Complexity of Boolean Functions – ident: ref36 doi: 10.1109/PGEC.1963.263529 – year: 1979 ident: ref28 publication-title: Computers and Intractability A Guide to the Theory of NP-Completeness – start-page: 1 year: 0 ident: ref4 article-title: Majority logic representation and satisfiability publication-title: Proc of the International Workshop on Logic Synthesis – ident: ref10 doi: 10.1109/NANOARCH.2011.5941494 – volume: 56 start-page: 174 year: 2007 ident: ref21 article-title: Hierarchical probabilistic macromodeling for QCA circuits publication-title: IEEE Trans Comput doi: 10.1109/TC.2007.30 – ident: ref9 doi: 10.1109/TNANO.2014.2312177 – ident: ref31 doi: 10.1109/TEC.1961.5219289 – year: 2003 ident: ref26 article-title: Boolean reasoning: The logic of Boolean equations – ident: ref12 doi: 10.1126/science.1120506 – volume: 185 year: 2009 ident: ref29 publication-title: Handbook of Satisfiability – ident: ref23 doi: 10.1109/TCAD.2004.839468 – year: 1994 ident: ref27 publication-title: Synthesis and Optimization of Digital Circuits – year: 2013 ident: ref8 – ident: ref32 doi: 10.1109/TEC.1961.5219147 – ident: ref35 doi: 10.1109/PGEC.1964.263903 – ident: ref1 doi: 10.1145/2593069.2593158 – ident: ref33 doi: 10.1109/TEC.1960.5219856 – start-page: 191 year: 0 ident: ref17 article-title: Energy efficient in-memory machine learning for data intensive image-processing by non-volatile domain-wall memory publication-title: Proc IEEE Asia and South Pacific Des Autom Conf – ident: ref22 doi: 10.1109/TC.2009.21 – ident: ref6 doi: 10.1016/S0304-3975(96)00019-9 – volume: 5 start-page: 288 year: 1904 ident: ref24 article-title: Sets of independent postulates for the algebra of logic publication-title: Trans American Math Soc doi: 10.1090/S0002-9947-1904-1500675-4 – ident: ref15 doi: 10.1109/TNANO.2003.820815 – ident: ref11 doi: 10.1038/nnano.2010.31 – year: 2014 ident: ref20 article-title: Towards logic functions as the device using spin wave functions nanofabric – ident: ref37 doi: 10.1016/0196-6774(84)90016-6 – year: 0 ident: ref39 – ident: ref25 doi: 10.2307/2372123 |
| SSID | ssj0006209 |
| Score | 2.148667 |
| Snippet | Manipulating logic functions via majority operators recently drew the attention of researchers in computer science. For example, circuit optimization based on... |
| SourceID | proquest crossref |
| SourceType | Aggregation Database Enrichment Source Index Database |
| StartPage | 2889 |
| SubjectTerms | Logic programming |
| Title | A Sound and Complete Axiomatization of Majority- Logic |
| URI | https://www.proquest.com/docview/1810575636 |
| Volume | 65 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVIEE databaseName: IEEE Electronic Library (IEL) customDbUrl: eissn: 1557-9956 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0006209 issn: 0018-9340 databaseCode: RIE dateStart: 19680101 isFulltext: true titleUrlDefault: https://ieeexplore.ieee.org/ providerName: IEEE |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3Pb9MwFLbK4AAHfgwQGwPlAAipSpffjo-ltOVQuklkUiWEIjt2tKI27dpm6vjTOfHsOG4KAsGBS1QlbZX4fXn-XvL5fQi9IoGbOdyNbeFkgR2ILLSBtVKbMJFjxoBwZ2qh8AiPx_FkQs5bre_1WpjrGS6KeLsly_8aatgHwZZLZ_8h3OZPYQd8hqDDFsIO278KfLf9SVolqbcC8m6HwIh2dztdSG76zTDEj_TrQhrX2a_DdwMgruWMts_m0418-hm-l1a-06zJXGVVKA0landx9Zoh054Qhph353RVqlq_3GmAzmHqXQm7P5_TohSz9pBKq6MV3ykAepd0s4HynV_e0JtKZ1ku6dywbNGuJKtKejCU-tmimDYfWLiRUWRVEEuUKLQhhOgrvx_TG6Fv7H_WpiejSZiKdsP11o9JdFYHrBG_avvUETqRh9iWq3abmb5ypdCIJs20HVc-Rr_OJ6oda9KTGsCwA3RR0t_d1FnLBcZn6eBiNEqT_iTZP6qYQiA95oEKRu6b5ZUtHc-kMkDbv9xCtz0cElKtPTQsIqrlSfradFsqOKHTn05nn1HtEwrFkpKH6L4ub6xuBctHqCWKQ_Sgtg6x9ExyiO41-mA-RsOupTBrQWSsGrPWPmatRW4ZzH7WiLU0Yr9YCq9P0MWgn_Q-2Nrhw848D5CBORYwKzBGWUwCkVOg49iTVV_Igby5jOcMShBIGw7FOOQR8_wsxkHu-pjEnPpP0UGxKMQzZDkszpyYhCFjOeQfl_rY83LKY86xzyJ-hDr1KKWZbn8vXVhmqSqDHZImvVQOa6qH9Qi9NT9YVp1ffv_Vk3rYU50J1ilQZ1kLRX50_OfDz9Hd3W1ygg42q1K8QHey6810vXqpUPEDIGqs9w |
| linkProvider | IEEE |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+Sound+and+Complete+Axiomatization+of+Majority-%5BFormula+Omitted%5D+Logic&rft.jtitle=IEEE+transactions+on+computers&rft.au=Amaru%2C+Luca&rft.au=Pierre-Emmanuel+Gaillardon&rft.au=Chattopadhyay%2C+Anupam&rft.au=De+Micheli%2C+Giovanni&rft.date=2016-09-01&rft.pub=The+Institute+of+Electrical+and+Electronics+Engineers%2C+Inc.+%28IEEE%29&rft.issn=0018-9340&rft.eissn=1557-9956&rft.volume=65&rft.issue=9&rft.spage=2889&rft_id=info:doi/10.1109%2FTC.2015.2506566&rft.externalDBID=NO_FULL_TEXT&rft.externalDocID=4143863961 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0018-9340&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0018-9340&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0018-9340&client=summon |