Matches in SemOpenAlex for { <https://semopenalex.org/work/W141569557> ?p ?o ?g. }
Showing items 1 to 47 of
47
with 100 items per page.
- W141569557 abstract "Cette these presente un calcul des sequents pour la logique lineaire enrichie d'un connecteur non commutatif et autodual precede situe entre le et le tenseur. Il est defini pour des sequents dont les formules sont orientees par un ordre partiel. Un calcul de reseaux de demonstration quotientant ce calcul des sequents est defini en termes de graphes orientes. Ce calcul est dote d'une semantique denotationnelle dans les espaces coherents, preservee par elimination des coupures, un processus convergent et confluent. Des resultats combinatoires necessaires sur les ordres partiels et sur la structure des graphes de demonstrations sont etablies ainsi que quelques proprietes du calcul commutatif avec la regle MIX." @default.
- W141569557 created "2016-06-24" @default.
- W141569557 creator A5030211091 @default.
- W141569557 date "1993-02-26" @default.
- W141569557 modified "2023-10-17" @default.
- W141569557 title "Réseaux et séquents ordonnés" @default.
- W141569557 hasPublicationYear "1993" @default.
- W141569557 type Work @default.
- W141569557 sameAs 141569557 @default.
- W141569557 citedByCount "22" @default.
- W141569557 countsByYear W1415695572015 @default.
- W141569557 countsByYear W1415695572017 @default.
- W141569557 countsByYear W1415695572019 @default.
- W141569557 countsByYear W1415695572020 @default.
- W141569557 crossrefType "dissertation" @default.
- W141569557 hasAuthorship W141569557A5030211091 @default.
- W141569557 hasConcept C138885662 @default.
- W141569557 hasConcept C15708023 @default.
- W141569557 hasConceptScore W141569557C138885662 @default.
- W141569557 hasConceptScore W141569557C15708023 @default.
- W141569557 hasLocation W1415695571 @default.
- W141569557 hasOpenAccess W141569557 @default.
- W141569557 hasPrimaryLocation W1415695571 @default.
- W141569557 hasRelatedWork W147093031 @default.
- W141569557 hasRelatedWork W1494188379 @default.
- W141569557 hasRelatedWork W1585310225 @default.
- W141569557 hasRelatedWork W159715351 @default.
- W141569557 hasRelatedWork W1598954248 @default.
- W141569557 hasRelatedWork W1811725859 @default.
- W141569557 hasRelatedWork W1973260109 @default.
- W141569557 hasRelatedWork W2074070481 @default.
- W141569557 hasRelatedWork W2076596727 @default.
- W141569557 hasRelatedWork W2078432227 @default.
- W141569557 hasRelatedWork W2079171825 @default.
- W141569557 hasRelatedWork W2094685149 @default.
- W141569557 hasRelatedWork W2095436832 @default.
- W141569557 hasRelatedWork W2102625227 @default.
- W141569557 hasRelatedWork W2117737141 @default.
- W141569557 hasRelatedWork W2119641906 @default.
- W141569557 hasRelatedWork W2120950381 @default.
- W141569557 hasRelatedWork W2328580899 @default.
- W141569557 hasRelatedWork W2911865844 @default.
- W141569557 hasRelatedWork W64134619 @default.
- W141569557 isParatext "false" @default.
- W141569557 isRetracted "false" @default.
- W141569557 magId "141569557" @default.
- W141569557 workType "dissertation" @default.