Matches in SemOpenAlex for { <https://semopenalex.org/work/W4312788042> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W4312788042 endingPage "47" @default.
- W4312788042 startingPage "35" @default.
- W4312788042 abstract "Zach’s theorem [6] seems terminating research of many-valued logics [1–3]. Zach [6] proved that for any n-valued logic, there is a deduction system for n-placed sequents which is sound and complete." @default.
- W4312788042 created "2023-01-05" @default.
- W4312788042 creator A5000432967 @default.
- W4312788042 creator A5025741195 @default.
- W4312788042 date "2022-01-01" @default.
- W4312788042 modified "2023-10-16" @default.
- W4312788042 title "Many-Placed Sequents" @default.
- W4312788042 cites W60726562 @default.
- W4312788042 cites W6998002 @default.
- W4312788042 doi "https://doi.org/10.1007/978-981-19-4270-9_2" @default.
- W4312788042 hasPublicationYear "2022" @default.
- W4312788042 type Work @default.
- W4312788042 citedByCount "0" @default.
- W4312788042 crossrefType "book-chapter" @default.
- W4312788042 hasAuthorship W4312788042A5000432967 @default.
- W4312788042 hasAuthorship W4312788042A5025741195 @default.
- W4312788042 hasConcept C136119220 @default.
- W4312788042 hasConcept C138885662 @default.
- W4312788042 hasConcept C144237770 @default.
- W4312788042 hasConcept C199343813 @default.
- W4312788042 hasConcept C202444582 @default.
- W4312788042 hasConcept C2777686260 @default.
- W4312788042 hasConcept C33923547 @default.
- W4312788042 hasConcept C41008148 @default.
- W4312788042 hasConcept C71924100 @default.
- W4312788042 hasConceptScore W4312788042C136119220 @default.
- W4312788042 hasConceptScore W4312788042C138885662 @default.
- W4312788042 hasConceptScore W4312788042C144237770 @default.
- W4312788042 hasConceptScore W4312788042C199343813 @default.
- W4312788042 hasConceptScore W4312788042C202444582 @default.
- W4312788042 hasConceptScore W4312788042C2777686260 @default.
- W4312788042 hasConceptScore W4312788042C33923547 @default.
- W4312788042 hasConceptScore W4312788042C41008148 @default.
- W4312788042 hasConceptScore W4312788042C71924100 @default.
- W4312788042 hasLocation W43127880421 @default.
- W4312788042 hasOpenAccess W4312788042 @default.
- W4312788042 hasPrimaryLocation W43127880421 @default.
- W4312788042 hasRelatedWork W1557945163 @default.
- W4312788042 hasRelatedWork W1985218657 @default.
- W4312788042 hasRelatedWork W2064847051 @default.
- W4312788042 hasRelatedWork W2096753949 @default.
- W4312788042 hasRelatedWork W2742285599 @default.
- W4312788042 hasRelatedWork W2748952813 @default.
- W4312788042 hasRelatedWork W2899084033 @default.
- W4312788042 hasRelatedWork W2963341196 @default.
- W4312788042 hasRelatedWork W3124205579 @default.
- W4312788042 hasRelatedWork W4249580765 @default.
- W4312788042 isParatext "false" @default.
- W4312788042 isRetracted "false" @default.
- W4312788042 workType "book-chapter" @default.