Matches in SemOpenAlex for { <https://semopenalex.org/work/W578736700> ?p ?o ?g. }
Showing items 1 to 47 of
47
with 100 items per page.
- W578736700 abstract "Les regles qui n'engendrent pas de nouvelles formules prouvables dans une logique, sont dites regles admissibles de cette logique. En calcul propositionnel classique, toutes ces regles sont derivables, c'est-a-dire demontables de facon interne, ce qui n'est pas le cas en logique intuitionniste. Cette these veut eclaircir les liens entre admissibilite et derivabilite en calcul propositionnel intuitionniste. La premiere partie donne des conditions simples pour que ces deux notions soient identiques. On utilise une sorte particuliere de substitutions, dont on montrera dans la deuxieme partie qu'elles permettent de caracteriser l'admissibilite. La deuxieme partie utilise la classe de substitutions mentionnee precedemment et des cas particuliers tres simples des resultats montres en premiere partie, pour obtenir une caracterisation de l'admissibilite par la retro-derivation en calcul des sequents. C'est le resultat central de la these. On obtient ainsi certains resultats de decidabilite, en particulier la decidabilite de l'admissibilite, ainsi que d'autres caracterisations. La troisieme partie illustre le resultat precedent et en donne des applications. On decrit completement le cas a une variable. On donne ensuite une axiomatisation denombrable de l'admissibilite, et l'on en deduit l'impossibilite d'une axiomatisation finie" @default.
- W578736700 created "2016-06-24" @default.
- W578736700 creator A5088533112 @default.
- W578736700 date "1992-01-01" @default.
- W578736700 modified "2023-09-26" @default.
- W578736700 title "Regles admissibles en calcul propositionnel intuitionniste" @default.
- W578736700 hasPublicationYear "1992" @default.
- W578736700 type Work @default.
- W578736700 sameAs 578736700 @default.
- W578736700 citedByCount "7" @default.
- W578736700 countsByYear W5787367002012 @default.
- W578736700 countsByYear W5787367002013 @default.
- W578736700 countsByYear W5787367002015 @default.
- W578736700 countsByYear W5787367002018 @default.
- W578736700 crossrefType "dissertation" @default.
- W578736700 hasAuthorship W578736700A5088533112 @default.
- W578736700 hasConcept C138885662 @default.
- W578736700 hasConcept C15708023 @default.
- W578736700 hasConceptScore W578736700C138885662 @default.
- W578736700 hasConceptScore W578736700C15708023 @default.
- W578736700 hasLocation W5787367001 @default.
- W578736700 hasOpenAccess W578736700 @default.
- W578736700 hasPrimaryLocation W5787367001 @default.
- W578736700 hasRelatedWork W1556894108 @default.
- W578736700 hasRelatedWork W1591857789 @default.
- W578736700 hasRelatedWork W1982890778 @default.
- W578736700 hasRelatedWork W2023712626 @default.
- W578736700 hasRelatedWork W2030423512 @default.
- W578736700 hasRelatedWork W2031871805 @default.
- W578736700 hasRelatedWork W2046526482 @default.
- W578736700 hasRelatedWork W2049821930 @default.
- W578736700 hasRelatedWork W2069051622 @default.
- W578736700 hasRelatedWork W2075172817 @default.
- W578736700 hasRelatedWork W2077847391 @default.
- W578736700 hasRelatedWork W2081160992 @default.
- W578736700 hasRelatedWork W2106716518 @default.
- W578736700 hasRelatedWork W2108756969 @default.
- W578736700 hasRelatedWork W2111570288 @default.
- W578736700 hasRelatedWork W2126852230 @default.
- W578736700 hasRelatedWork W2158627825 @default.
- W578736700 hasRelatedWork W2166908479 @default.
- W578736700 hasRelatedWork W2170146694 @default.
- W578736700 hasRelatedWork W2970205057 @default.
- W578736700 isParatext "false" @default.
- W578736700 isRetracted "false" @default.
- W578736700 magId "578736700" @default.
- W578736700 workType "dissertation" @default.