Matches in SemOpenAlex for { <https://semopenalex.org/work/W2051720582> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2051720582 endingPage "288" @default.
- W2051720582 startingPage "274" @default.
- W2051720582 abstract "We present a new method for deciding Gödel-Dummett logic LC. We first characterize the validity of irreducible sequents of LC by the existence of r-cycles in bi-colored graphs and we propose a linear algorithm to detect r-cycles and build counter-models. Then we characterize the validity of formulae by the existence of r-cycles in boolean constrained graphs. We also give a parallel method to detect r-cycles under boolean constraints. Similar results are given for the finitary versions LC n ." @default.
- W2051720582 created "2016-06-24" @default.
- W2051720582 creator A5069943669 @default.
- W2051720582 date "2004-01-01" @default.
- W2051720582 modified "2023-10-15" @default.
- W2051720582 title "Counter-Model Search in Gödel-Dummett Logics" @default.
- W2051720582 cites W1479710971 @default.
- W2051720582 cites W1507920653 @default.
- W2051720582 cites W1541524853 @default.
- W2051720582 cites W2030232034 @default.
- W2051720582 cites W2080267935 @default.
- W2051720582 cites W2106490090 @default.
- W2051720582 cites W2110182592 @default.
- W2051720582 cites W2114979222 @default.
- W2051720582 cites W2124047678 @default.
- W2051720582 cites W2131739376 @default.
- W2051720582 cites W4210866997 @default.
- W2051720582 cites W934952615 @default.
- W2051720582 doi "https://doi.org/10.1007/978-3-540-25984-8_19" @default.
- W2051720582 hasPublicationYear "2004" @default.
- W2051720582 type Work @default.
- W2051720582 sameAs 2051720582 @default.
- W2051720582 citedByCount "7" @default.
- W2051720582 countsByYear W20517205822015 @default.
- W2051720582 crossrefType "book-chapter" @default.
- W2051720582 hasAuthorship W2051720582A5069943669 @default.
- W2051720582 hasBestOaLocation W20517205824 @default.
- W2051720582 hasConcept C118615104 @default.
- W2051720582 hasConcept C2778003309 @default.
- W2051720582 hasConcept C33923547 @default.
- W2051720582 hasConcept C41008148 @default.
- W2051720582 hasConceptScore W2051720582C118615104 @default.
- W2051720582 hasConceptScore W2051720582C2778003309 @default.
- W2051720582 hasConceptScore W2051720582C33923547 @default.
- W2051720582 hasConceptScore W2051720582C41008148 @default.
- W2051720582 hasLocation W20517205821 @default.
- W2051720582 hasLocation W20517205822 @default.
- W2051720582 hasLocation W20517205823 @default.
- W2051720582 hasLocation W20517205824 @default.
- W2051720582 hasOpenAccess W2051720582 @default.
- W2051720582 hasPrimaryLocation W20517205821 @default.
- W2051720582 hasRelatedWork W1673961727 @default.
- W2051720582 hasRelatedWork W1997483766 @default.
- W2051720582 hasRelatedWork W2044340169 @default.
- W2051720582 hasRelatedWork W2483105912 @default.
- W2051720582 hasRelatedWork W2913957834 @default.
- W2051720582 hasRelatedWork W2964024848 @default.
- W2051720582 hasRelatedWork W3038021740 @default.
- W2051720582 hasRelatedWork W3198746076 @default.
- W2051720582 hasRelatedWork W4225665747 @default.
- W2051720582 hasRelatedWork W4311644574 @default.
- W2051720582 isParatext "false" @default.
- W2051720582 isRetracted "false" @default.
- W2051720582 magId "2051720582" @default.
- W2051720582 workType "book-chapter" @default.