• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Theory of commutation and minimal clones in multiple-valued logic

Research Project

Project/Area Number 23540158
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field General mathematics (including Probability theory/Statistical mathematics)
Research InstitutionInternational Christian University

Principal Investigator

MACHIDA Hajime  国際基督教大学, アーツ・サイエンス研究科, 研究員 (40090534)

Project Period (FY) 2011 – 2013
Project Status Completed (Fiscal Year 2013)
Budget Amount *help
¥4,940,000 (Direct Cost: ¥3,800,000、Indirect Cost: ¥1,140,000)
Fiscal Year 2013: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2012: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2011: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
Keywords多値論理 / 普遍代数 / 離散数学
Research Abstract

A set of multi-variable functions defined on a given set A is a clone on A if it is closed under functional composition and contains all projections on A. The set of clones on A forms a lattice. Except the case for |A|=2, the structure of the clone lattice on A is extremely complex and, until now, mostly unknown.
Based on the commutativity of functions the notion of a centralizer (centralizing clone) is defined and, furthermore, a centralizing monoid is defined as the set of unary functions of a centralizer. In this project, for the case of |A|=3, we determined all centralizing monoids on A as well as the inclusion relations among them. We also investigated the relation between maximal centralizing monoids and majority functions which generate minimal clones.

Report

(4 results)
  • 2013 Annual Research Report   Final Research Report ( PDF )
  • 2012 Research-status Report
  • 2011 Research-status Report
  • Research Products

    (73 results)

All 2014 2013 2012 2011 Other

All Journal Article (41 results) (of which Peer Reviewed: 32 results) Presentation (32 results) (of which Invited: 3 results)

  • [Journal Article] Galois connections arising in clone theory, 京都大学数理解析研究所2014

    • Author(s)
      H. Machida and J. Pantovic
    • Volume
      Vol.1873
    • Pages
      75-81
    • Related Report
      2013 Final Research Report
  • [Journal Article] Essentially minimal clones of rank 3 on a three-element set2014

    • Author(s)
      H. Machida and I. G. Rosenberg
    • Journal Title

      Proc. 44th International Symposium on Multiple- Valued Logic, IEEE

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] One-point extension of the algebra of incompletely specified operations2014

    • Author(s)
      J. Colic, H. Machida and J. Pantovic
    • Journal Title

      Journal of Multiple-Valued Logic and Soft Computing

      Volume: Vol.22 Pages: 79-94

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] One-point Extension of the Algebra of Incompletely Specified Operations2014

    • Author(s)
      J. Colic, H. Machida and J. Pantovic
    • Journal Title

      Journal of Multiple-Valued Logic and Soft Computing

      Volume: 22 Pages: 79-94

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Upward saturated hyperclones2014

    • Author(s)
      J. Colic, H. Machida and J. Pantovic
    • Journal Title

      Journal of Multiple-Valued Logic and Soft Computing

      Volume: -

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Essentially minimal clones of rank $3$ on a three-element set2014

    • Author(s)
      H. Machida and I. G. Rosenberg
    • Journal Title

      Proceedings 44th International Symposium on Multiple-Valued Logic

      Volume: -

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Galois connections arising in clone theory2014

    • Author(s)
      H. Machida and J. Pantovic
    • Journal Title

      京都大学数理解析研究所 講究録

      Volume: 1873 Pages: 75-81

    • Related Report
      2013 Annual Research Report
  • [Journal Article] Report on centralizing monoids on a three-element set2013

    • Author(s)
      H. Machida and I. G. Rosenberg
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: Vol.1846 Pages: 53-65

    • Related Report
      2013 Final Research Report
  • [Journal Article] On Hyper Co-clones2013

    • Author(s)
      J. Colic, H. Machida and J. Pantovic
    • Journal Title

      Proc. 43rd International Symposium on Multiple- Valued Logic, IEEE

      Pages: 182-185

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] A Study on essentially minimal clones2013

    • Author(s)
      H. Machida and I. G. Rosenberg
    • Journal Title

      Proc. 43rd International Symposium on Multiple-Valued Logic, IEEE

      Pages: 117-122

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] A Study on essentially minimal clones2013

    • Author(s)
      H. Machida and I. G. Rosenberg
    • Journal Title

      Proceedings 43rd International Symposium on Multiple-Valued Logic

      Volume: 43 Pages: 117-122

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] On Hyper Co-clones2013

    • Author(s)
      J. Colic, H. Machida and J. Pantovic
    • Journal Title

      Proceedings 43rd International Symposium on Multiple-Valued Logic

      Volume: 43 Pages: 182-185

    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Report on centralizing monoids on a three-element set2013

    • Author(s)
      H. Machida and I. G. Rosenberg
    • Journal Title

      京都大学数理解析研究所 講究録

      Volume: 1846 Pages: 53-65

    • Related Report
      2013 Annual Research Report
  • [Journal Article] On hyper co-clones2013

    • Author(s)
      J. Colic, H. Machida and J. Pantovic
    • Journal Title

      Proceedings 43rd International Symposium on Multiple-Valued Logic

      Volume: 43

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] A Study on Essentially Minimal Clones2013

    • Author(s)
      H. Machida and I. G. Rosenberg
    • Journal Title

      Proceedings 43rd International Symposium on Multiple-Valued Logic

      Volume: 43

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] Centralizing monoids with minimal function witnesses on a three-element set2012

    • Author(s)
      H. Machida and I. G. Rosenberg
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: Vol.1809 Pages: 171-180

    • Related Report
      2013 Final Research Report
  • [Journal Article] His contributions to ISMVL2012

    • Author(s)
      H. Machida and T. Hikita Honouring Ivo G. Rosenberg
    • Journal Title

      Proc. 42nd International Symposium on Multiple-Valued Logic, IEEE

      Pages: 322-330

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Centralizing monoids on a threeelement set2012

    • Author(s)
      H. Machida and I. G. Rosenberg
    • Journal Title

      Proc. 42nd International Symposium on Multiple-Valued Logic, IEEE

      Pages: 274-280

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Clones of incompletely specified operations2012

    • Author(s)
      J. Colic, H. Machida and J. Pantovic
    • Journal Title

      Proc. 42nd International Symposium on Multiple-Valued Logic, IEEE

      Pages: 256-261

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Regular sets of operations2012

    • Author(s)
      H. Machida, J. Pantovic and I. G. Rosenberg
    • Journal Title

      Journal of Multiple-Valued Logic and Soft Computing

      Volume: Vol.19 Pages: 149-162

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Some centralizing monoids on a three-element set2012

    • Author(s)
      H. Machida and I. G. Rosenberg
    • Journal Title

      Journal of Multiple- Valued Logic and Soft Computing

      Volume: Vol.18 Pages: 211-221

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Three classes of maximal hyperclones2012

    • Author(s)
      H. Machida and J. Pantovic
    • Journal Title

      Journal of Multiple-Valued Logic and Soft Computing

      Volume: Vol.18 Pages: 201-210

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Some centralizing monoids on a three-element set2012

    • Author(s)
      H. Machida and I. G. Rosenberg
    • Journal Title

      Journal of Multiple-Valued Logic and Soft Computing

      Volume: Vol. 18

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] Clones of incompletely specified operations2012

    • Author(s)
      J. Colic, H. Machida and J. Pantovic
    • Journal Title

      Proceedings 42nd International Symposium on Multiple-Valued Logic

      Volume: 42

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] Centralizing monoids on a three-element set2012

    • Author(s)
      H. Machida and I. G. Rosenberg
    • Journal Title

      Proceedings 42nd International Symposium on Multiple-Valued Logic

      Volume: 42

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Journal Article] Honouring Ivo G. Rosenberg: His contributions to ISMVL2012

    • Author(s)
      H. Machida and T. Hikita
    • Journal Title

      Proceedings 42nd International Symposium on Multiple-Valued Logic

      Volume: 42

    • Related Report
      2012 Research-status Report
  • [Journal Article] Centralizing monoids with minimal function witnesses on a three-element set2012

    • Author(s)
      H. Machida and I. G. Rosenberg
    • Journal Title

      京都大学数理解析研究所 講究録

      Volume: 1809

    • Related Report
      2012 Research-status Report
  • [Journal Article] Three classes of maximal hyperclones2012

    • Author(s)
      H. Machida
    • Journal Title

      Journal of Multiple-Valued Logic and Soft Computing

      Volume: 18

    • Related Report
      2011 Research-status Report
    • Peer Reviewed
  • [Journal Article] Some centralizing monoids on a three-element set2012

    • Author(s)
      H. Machida
    • Journal Title

      Journal of Multiple-Valued Logic and Soft Computing

      Volume: 18

    • Related Report
      2011 Research-status Report
    • Peer Reviewed
  • [Journal Article] Maximal centralizing monoids and minimal clones2011

    • Author(s)
      H. Machida
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: Vol.1769 Pages: 144-152

    • Related Report
      2013 Final Research Report
  • [Journal Article] Invitation to clone theory with partial clones and hyperclones2011

    • Author(s)
      H. Machida, L. Haddad and J. Pantovic
    • Journal Title

      Proc. 41st International Symposium on Multiple- Valued Logic, IEEE

      Volume: Vol.41 Pages: 205-212

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Maximal hyperclones determined by monotone operations2011

    • Author(s)
      J. Colic, H. Machida and J. Pantovic
    • Journal Title

      Proc. 41st International Symposium on Multiple- Valued Logic, IEEE

      Volume: Vol.41 Pages: 160-163

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Maximal centralizing monoids and their relation to minimal clones2011

    • Author(s)
      H. Machida and I. G. Rosenberg
    • Journal Title

      Proc. 41st International Symposium on Multiple-Valued Logic, IEEE

      Volume: Vol.41 Pages: 153-159

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Completeness of order algebras2011

    • Author(s)
      I. Chajda, R. Halas and H. Machida
    • Journal Title

      Journal of Multiple-Valued Logic and Soft Computing

      Volume: Vol.17 Pages: 93-98

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] Maximal centralizing monoids and their relation to minimal clones2011

    • Author(s)
      H. Machida
    • Journal Title

      Proceedings 41st International Symposium on Multiple-Valued Logic

      Volume: 41

    • Related Report
      2011 Research-status Report
    • Peer Reviewed
  • [Journal Article] Maximal hyperclones determined by monotone operations2011

    • Author(s)
      J. Colic
    • Journal Title

      Proceedings 41st International Symposium on Multiple-Valued Logic

      Volume: 41

    • Related Report
      2011 Research-status Report
    • Peer Reviewed
  • [Journal Article] Invitation to clone theory with partial clones and hyperclones2011

    • Author(s)
      H. Machida
    • Journal Title

      Proceedings 41st International Symposium on Multiple-Valued Logic

      Volume: 41

    • Related Report
      2011 Research-status Report
    • Peer Reviewed
  • [Journal Article] Maximal centralizing monoids and minimal clones2011

    • Author(s)
      H. Machida
    • Journal Title

      京都大学数理解析研究所 講究録

      Volume: 1769

    • Related Report
      2011 Research-status Report
  • [Journal Article] Completeness of order algebras2011

    • Author(s)
      I.Chajda
    • Journal Title

      Journal of Multiple-Valued Logic and Soft Computing

      Volume: 17

    • Related Report
      2011 Research-status Report
    • Peer Reviewed
  • [Journal Article] Upward saturated hyperclones

    • Author(s)
      J. Colic, H. Machida and J. Pantovic
    • Journal Title

      Journal of Multiple-Valued Logic and Soft Computing

      Volume: (掲載決定)

    • Related Report
      2013 Final Research Report
    • Peer Reviewed
  • [Journal Article] One-point Extension of the Algebra of Incompletely Specified Operations

    • Author(s)
      J. Colic, H. Machida and J. Pantovic
    • Journal Title

      Journal of Multiple-Valued Logic and Soft Computing

      Volume: 未定

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Presentation] Essentially minimal clones of rank 3 on E_32014

    • Author(s)
      H. Machida
    • Organizer
      87th Workshop on General Algebra (AAA87)
    • Place of Presentation
      Linz, Austria
    • Year and Date
      2014-02-08
    • Related Report
      2013 Final Research Report
  • [Presentation] "Remarks on essentially minimal clones", Kangro-100 : Methods of Analysis and Algebra2013

    • Author(s)
      H. Machida
    • Organizer
      International Conference dedicated to the Centennial of Professor Gunnar Kangro
    • Place of Presentation
      Tartu, Estonia
    • Year and Date
      2013-09-03
    • Related Report
      2013 Final Research Report
  • [Presentation] On Hyper Co-clones2013

    • Author(s)
      H. Machida
    • Organizer
      Forty Third International Symposium on Multiple-Valued Logic
    • Place of Presentation
      Toyama, Japan
    • Year and Date
      2013-05-23
    • Related Report
      2013 Final Research Report
  • [Presentation] A Study on Essentially Minimal Clones2013

    • Author(s)
      H. Machida
    • Organizer
      Forty Third International Symposium on Multiple- Valued Logic
    • Place of Presentation
      Toyama, Japan
    • Year and Date
      2013-05-22
    • Related Report
      2013 Final Research Report
  • [Presentation] Some remarks on essentially minimal clones2013

    • Author(s)
      H. Machida
    • Organizer
      85th Workshop on General Algebra (AAA85)
    • Place of Presentation
      Luxembourg
    • Year and Date
      2013-02-01
    • Related Report
      2013 Final Research Report
  • [Presentation] Essentially minimal clones on a three-element set2012

    • Author(s)
      H. Machida
    • Organizer
      The 50th Summer School on Algebra and Ordered Sets (SSAOS)
    • Place of Presentation
      Novy Smokovec, Slovakia
    • Year and Date
      2012-09-04
    • Related Report
      2013 Final Research Report
  • [Presentation] Minimal clones and maximal centralizing monoids2012

    • Author(s)
      H. Machida
    • Organizer
      Conference on Universal Algebra and Lattice Theory : Dedicated to the 80-th Birthday of Bela Csakany
    • Place of Presentation
      Szeged, Hungary
    • Year and Date
      2012-06-23
    • Related Report
      2013 Final Research Report
  • [Presentation] Honouring Ivo G. Rosenberg : His contributions to ISMVL2012

    • Author(s)
      H. Machida
    • Organizer
      Forty Second International Symposium on Multiple- Valued Logic
    • Place of Presentation
      Victoria, Canada
    • Year and Date
      2012-05-16
    • Related Report
      2013 Final Research Report
    • Invited
  • [Presentation] Centralizing monoids on a three-element set2012

    • Author(s)
      H. Machida
    • Organizer
      Forty Second International Symposium on Multiple- Valued Logic
    • Place of Presentation
      Victoria, Canada
    • Year and Date
      2012-05-16
    • Related Report
      2013 Final Research Report
  • [Presentation] Clones of incompletely specified operations2012

    • Author(s)
      J. Pantovic
    • Organizer
      Forty Second International Symposium on Multiple- Valued Logic
    • Place of Presentation
      Victoria, Canada
    • Year and Date
      2012-05-16
    • Related Report
      2013 Final Research Report
  • [Presentation] Centralizing monoids, again!2012

    • Author(s)
      H. Machida
    • Organizer
      Wiener Algebra Seminar (ウィーン工科大学)
    • Place of Presentation
      Wien, Austria
    • Year and Date
      2012-03-23
    • Related Report
      2013 Final Research Report
  • [Presentation] Centralizing monoids on a three-element set2012

    • Author(s)
      H. Machida
    • Organizer
      83rd Workshop on General Algebra (AAA83)
    • Place of Presentation
      Novi Sad, Serbia
    • Year and Date
      2012-03-16
    • Related Report
      2013 Final Research Report
  • [Presentation] Centralizing monoids on a three-element set2012

    • Author(s)
      H. Machida
    • Organizer
      The 83rd Workshop on General Algebra (AAA83)
    • Place of Presentation
      Novi Sad, Serbia
    • Related Report
      2011 Research-status Report
  • [Presentation] Commutation on a finite set2011

    • Author(s)
      H. Machida
    • Organizer
      Summer School on General Algebra and Ordered Sets (SSAOS)
    • Place of Presentation
      Svratka, Czech Republic
    • Year and Date
      2011-09-05
    • Related Report
      2013 Final Research Report
  • [Presentation] Maximal centralizing monoids and minimal clones2011

    • Author(s)
      H. Machida
    • Organizer
      Wiener Algebra Seminar (ウィーン工科大学)
    • Place of Presentation
      Wien, Austria
    • Year and Date
      2011-05-27
    • Related Report
      2013 Final Research Report
  • [Presentation] Invitation to clone theory with partial clones and hyperclones2011

    • Author(s)
      H. Machida
    • Organizer
      Forty First International Symposium on Multiple-Valued Logic
    • Place of Presentation
      Tuusula, Finland
    • Year and Date
      2011-05-24
    • Related Report
      2013 Final Research Report
    • Invited
  • [Presentation] Maximal centralizing monoids and their relation to minimal clones2011

    • Author(s)
      H. Machida
    • Organizer
      Forty First International Symposium on Multiple-Valued Logic
    • Place of Presentation
      Tuusula, Finland
    • Year and Date
      2011-05-24
    • Related Report
      2013 Final Research Report
  • [Presentation] Maximal hyperclones determined by monotone operations2011

    • Author(s)
      J. Pantovic
    • Organizer
      Forty First International Symposium on Multiple-Valued Logic
    • Place of Presentation
      Tuusula, Finland
    • Year and Date
      2011-05-24
    • Related Report
      2013 Final Research Report
  • [Presentation] Maximal centralizing monoids and their relation to minimal clones2011

    • Author(s)
      H. Machida
    • Organizer
      41st International Symposium on Multiple-Valued Logic
    • Place of Presentation
      Tuusula, Finland
    • Related Report
      2011 Research-status Report
  • [Presentation] Maximal hyperclones determined by monotone operations2011

    • Author(s)
      J. Pantovic
    • Organizer
      41st International Symposium on Multiple-Valued Logic
    • Place of Presentation
      Tuusula, Finland
    • Related Report
      2011 Research-status Report
  • [Presentation] Invitation to clone theory with partial clones and hyperclones2011

    • Author(s)
      H. Machida
    • Organizer
      41st International Symposium on Multiple-Valued Logic(招待講演)
    • Place of Presentation
      Tuusula, Finland
    • Related Report
      2011 Research-status Report
  • [Presentation] Commutation on a finite set2011

    • Author(s)
      H. Machida
    • Organizer
      Summer School on General Algebra and Ordered Sets (SSAOS)
    • Place of Presentation
      Svratka, Czech Republic
    • Related Report
      2011 Research-status Report
  • [Presentation] A Study on Essentially Minimal Clones

    • Author(s)
      H. Machida
    • Organizer
      The Fourty Third International Symposium on Multiple-Valued Logic
    • Place of Presentation
      Toyama, Japan
    • Related Report
      2013 Annual Research Report
  • [Presentation] On Hyper Co-clones

    • Author(s)
      H. Machida
    • Organizer
      The Fourty Third International Symposium on Multiple-Valued Logic
    • Place of Presentation
      Toyama, Japan
    • Related Report
      2013 Annual Research Report
  • [Presentation] Remarks on essentially minimal clones

    • Author(s)
      H. Machida
    • Organizer
      Kangro-100: Methods of Analysis and Algebra, Internat. Conference dedicated to the Centennial of Prof. Gunnar Kangro
    • Place of Presentation
      Tartu, Estonia
    • Related Report
      2013 Annual Research Report
  • [Presentation] Essentially minimal clones of rank 3 on E_3

    • Author(s)
      H. Machida
    • Organizer
      The 87th Workshop on General Algebra (AAA87)
    • Place of Presentation
      Linz, Austria
    • Related Report
      2013 Annual Research Report
  • [Presentation] Clones of incompletely specified operations

    • Author(s)
      J. Pantovic
    • Organizer
      42nd International Symposium on Multiple-Valued Logic
    • Place of Presentation
      Victoria, Canada
    • Related Report
      2012 Research-status Report
  • [Presentation] Centralizing monoids on a three-element set

    • Author(s)
      H. Machida
    • Organizer
      42nd International Symposium on Multiple-Valued Logic
    • Place of Presentation
      Victoria, Canada
    • Related Report
      2012 Research-status Report
  • [Presentation] Honouring Ivo G. Rosenberg: His contributions to ISMVL

    • Author(s)
      H. Machida
    • Organizer
      42nd International Symposium on Multiple-Valued Logic
    • Place of Presentation
      Victoria, Canada
    • Related Report
      2012 Research-status Report
    • Invited
  • [Presentation] Minimal clones and maximal centralizing monoids

    • Author(s)
      H. Machida
    • Organizer
      Conference on Universal Algebra and Lattice Theory : Dedicated to the 80th Birthday of Bela Csakany
    • Place of Presentation
      Szeged, Hungary
    • Related Report
      2012 Research-status Report
  • [Presentation] Essentially minimal clones on a three-element set

    • Author(s)
      H. Machida
    • Organizer
      The 50th Summer School on Algebra and Ordered Sets
    • Place of Presentation
      Novy Smokovec, Slovakia
    • Related Report
      2012 Research-status Report
  • [Presentation] Some remarks on essentially minimal clones

    • Author(s)
      H. Machida
    • Organizer
      The 85th Workshop on General Algebra (AAA85)
    • Place of Presentation
      Luxembourg City, Luxembourg
    • Related Report
      2012 Research-status Report

URL: 

Published: 2011-08-05   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi