Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386556492> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4386556492 abstract "We identify multirole logic as a new form of logic in which conjunction/disjunction is interpreted as an ultrafilter on some underlying set of roles and the notion of negation is generalized to endomorphisms on this set. We formulate both multirole logic (MRL) and linear multirole logic (LMRL) as natural generalizations of classical logic (CL) and classical linear logic (CLL), respectively. 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. As a side note, we also give an ultrafilter-based interpretation for intuitionism, formulating MRLJ as a natural generalization of intuitionistic logic (IL). An immediate application of LMRL can be found in a formulation of session types for channels that support multiparty communication in distributed programming. We present a multi-threaded lambda-calculus (MTLC) where threads communicate on linearly typed multiparty channels that are directly rooted in LMRL, establishing for MTLC both type preservation and global progress. The primary contribution of the paper consists of both identifying multirole logic as a new form of logic and establishing a theoretical foundation for it, and the secondary contribution lies in applying multirole logic to the practical domain of distributed programming." @default.
- W4386556492 created "2023-09-09" @default.
- W4386556492 creator A5035568673 @default.
- W4386556492 creator A5046868978 @default.
- W4386556492 date "2023-09-03" @default.
- W4386556492 modified "2023-10-16" @default.
- W4386556492 title "Multirole Logic and Multiparty Channels" @default.
- W4386556492 doi "https://doi.org/10.48550/arxiv.2309.01317" @default.
- W4386556492 hasPublicationYear "2023" @default.
- W4386556492 type Work @default.
- W4386556492 citedByCount "0" @default.
- W4386556492 crossrefType "posted-content" @default.
- W4386556492 hasAuthorship W4386556492A5035568673 @default.
- W4386556492 hasAuthorship W4386556492A5046868978 @default.
- W4386556492 hasBestOaLocation W43865564921 @default.
- W4386556492 hasConcept C102993220 @default.
- W4386556492 hasConcept C110039528 @default.
- W4386556492 hasConcept C118615104 @default.
- W4386556492 hasConcept C121332964 @default.
- W4386556492 hasConcept C128838566 @default.
- W4386556492 hasConcept C134306372 @default.
- W4386556492 hasConcept C136119220 @default.
- W4386556492 hasConcept C150889026 @default.
- W4386556492 hasConcept C165801399 @default.
- W4386556492 hasConcept C171482190 @default.
- W4386556492 hasConcept C172385210 @default.
- W4386556492 hasConcept C177148314 @default.
- W4386556492 hasConcept C178421362 @default.
- W4386556492 hasConcept C189790780 @default.
- W4386556492 hasConcept C202444582 @default.
- W4386556492 hasConcept C203659156 @default.
- W4386556492 hasConcept C2777796570 @default.
- W4386556492 hasConcept C28077239 @default.
- W4386556492 hasConcept C33203268 @default.
- W4386556492 hasConcept C33923547 @default.
- W4386556492 hasConcept C41008148 @default.
- W4386556492 hasConcept C62073222 @default.
- W4386556492 hasConcept C62520636 @default.
- W4386556492 hasConcept C80444323 @default.
- W4386556492 hasConcept C85343465 @default.
- W4386556492 hasConceptScore W4386556492C102993220 @default.
- W4386556492 hasConceptScore W4386556492C110039528 @default.
- W4386556492 hasConceptScore W4386556492C118615104 @default.
- W4386556492 hasConceptScore W4386556492C121332964 @default.
- W4386556492 hasConceptScore W4386556492C128838566 @default.
- W4386556492 hasConceptScore W4386556492C134306372 @default.
- W4386556492 hasConceptScore W4386556492C136119220 @default.
- W4386556492 hasConceptScore W4386556492C150889026 @default.
- W4386556492 hasConceptScore W4386556492C165801399 @default.
- W4386556492 hasConceptScore W4386556492C171482190 @default.
- W4386556492 hasConceptScore W4386556492C172385210 @default.
- W4386556492 hasConceptScore W4386556492C177148314 @default.
- W4386556492 hasConceptScore W4386556492C178421362 @default.
- W4386556492 hasConceptScore W4386556492C189790780 @default.
- W4386556492 hasConceptScore W4386556492C202444582 @default.
- W4386556492 hasConceptScore W4386556492C203659156 @default.
- W4386556492 hasConceptScore W4386556492C2777796570 @default.
- W4386556492 hasConceptScore W4386556492C28077239 @default.
- W4386556492 hasConceptScore W4386556492C33203268 @default.
- W4386556492 hasConceptScore W4386556492C33923547 @default.
- W4386556492 hasConceptScore W4386556492C41008148 @default.
- W4386556492 hasConceptScore W4386556492C62073222 @default.
- W4386556492 hasConceptScore W4386556492C62520636 @default.
- W4386556492 hasConceptScore W4386556492C80444323 @default.
- W4386556492 hasConceptScore W4386556492C85343465 @default.
- W4386556492 hasLocation W43865564921 @default.
- W4386556492 hasOpenAccess W4386556492 @default.
- W4386556492 hasPrimaryLocation W43865564921 @default.
- W4386556492 hasRelatedWork W1587919740 @default.
- W4386556492 hasRelatedWork W1608843844 @default.
- W4386556492 hasRelatedWork W164671196 @default.
- W4386556492 hasRelatedWork W1968027005 @default.
- W4386556492 hasRelatedWork W2166879872 @default.
- W4386556492 hasRelatedWork W2530278950 @default.
- W4386556492 hasRelatedWork W3100247777 @default.
- W4386556492 hasRelatedWork W4385233696 @default.
- W4386556492 hasRelatedWork W91153459 @default.
- W4386556492 hasRelatedWork W2183401507 @default.
- W4386556492 isParatext "false" @default.
- W4386556492 isRetracted "false" @default.
- W4386556492 workType "article" @default.