Blog
About

4
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      Multirole Logic (Extended Abstract)

      Preprint

      ,

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          We identify multirole logic as a new form of logic in which conjunction/disjunction is interpreted as an ultrafilter on the power set of some underlying set (of roles) and the notion of negation is generalized to endomorphisms on this underlying set. We formalize both multirole logic (MRL) and linear multirole logic (LMRL) as natural generalizations of classical logic (CL) and classical linear logic (CLL), respectively, and also present a filter-based interpretation for intuitionism in multirole logic. Among various meta-properties established for MRL and LMRL, we obtain one named multiparty cut-elimination stating that every cut involving one or more sequents (as a generalization of a (binary) cut involving exactly two sequents) can be eliminated, thus extending the celebrated result of cut-elimination by Gentzen.

          Related collections

          Most cited references 2

          • Record: found
          • Abstract: not found
          • Article: not found

          On the π-calculus and linear logic

           P.J. Scott,  G Bellin (1994)
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Propositions as sessions

             Philip Wadler (2012)
              Bookmark

              Author and article information

              Journal
              2017-03-19
              Article
              1703.06391

              http://arxiv.org/licenses/nonexclusive-distrib/1.0/

              Custom metadata
              math.LO cs.DC cs.LO cs.PL

              Comments

              Comment on this article