Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912404530> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2912404530 endingPage "155" @default.
- W2912404530 startingPage "150" @default.
- W2912404530 abstract "We present a new logical approach to reasoning from inconsistent information. The idea is to restore modelhood of inconsistent formulas by providing a third truth-value tolerating inconsistency. The novelty of our approach stems first from the restriction of entailment to three-valued models as similar as possible to two-valued models and second from an implication connective providing a notion of restricted monotonicity. After developing the semantics, we present a corresponding proof system that relies on a circumscription schema furnishing the syntactic counterpart of model minimization." @default.
- W2912404530 created "2019-02-21" @default.
- W2912404530 creator A5033529457 @default.
- W2912404530 creator A5058467603 @default.
- W2912404530 date "1997-08-23" @default.
- W2912404530 modified "2023-09-23" @default.
- W2912404530 title "Circumscribing inconsistency" @default.
- W2912404530 cites W1505605712 @default.
- W2912404530 cites W1541137191 @default.
- W2912404530 cites W1589356890 @default.
- W2912404530 cites W1606916091 @default.
- W2912404530 cites W194562767 @default.
- W2912404530 cites W1980589711 @default.
- W2912404530 cites W1983672048 @default.
- W2912404530 cites W2014775952 @default.
- W2912404530 cites W2045507624 @default.
- W2912404530 cites W2046131379 @default.
- W2912404530 cites W2103500248 @default.
- W2912404530 cites W2119148319 @default.
- W2912404530 cites W2171288778 @default.
- W2912404530 cites W98418125 @default.
- W2912404530 hasPublicationYear "1997" @default.
- W2912404530 type Work @default.
- W2912404530 sameAs 2912404530 @default.
- W2912404530 citedByCount "5" @default.
- W2912404530 crossrefType "proceedings-article" @default.
- W2912404530 hasAuthorship W2912404530A5033529457 @default.
- W2912404530 hasAuthorship W2912404530A5058467603 @default.
- W2912404530 hasConcept C11413529 @default.
- W2912404530 hasConcept C119857082 @default.
- W2912404530 hasConcept C134306372 @default.
- W2912404530 hasConcept C134752490 @default.
- W2912404530 hasConcept C138885662 @default.
- W2912404530 hasConcept C154945302 @default.
- W2912404530 hasConcept C159032336 @default.
- W2912404530 hasConcept C184337299 @default.
- W2912404530 hasConcept C199360897 @default.
- W2912404530 hasConcept C204321447 @default.
- W2912404530 hasConcept C27206212 @default.
- W2912404530 hasConcept C2778738651 @default.
- W2912404530 hasConcept C33923547 @default.
- W2912404530 hasConcept C41008148 @default.
- W2912404530 hasConcept C46274116 @default.
- W2912404530 hasConcept C52146309 @default.
- W2912404530 hasConcept C62360110 @default.
- W2912404530 hasConcept C72169020 @default.
- W2912404530 hasConcept C80444323 @default.
- W2912404530 hasConceptScore W2912404530C11413529 @default.
- W2912404530 hasConceptScore W2912404530C119857082 @default.
- W2912404530 hasConceptScore W2912404530C134306372 @default.
- W2912404530 hasConceptScore W2912404530C134752490 @default.
- W2912404530 hasConceptScore W2912404530C138885662 @default.
- W2912404530 hasConceptScore W2912404530C154945302 @default.
- W2912404530 hasConceptScore W2912404530C159032336 @default.
- W2912404530 hasConceptScore W2912404530C184337299 @default.
- W2912404530 hasConceptScore W2912404530C199360897 @default.
- W2912404530 hasConceptScore W2912404530C204321447 @default.
- W2912404530 hasConceptScore W2912404530C27206212 @default.
- W2912404530 hasConceptScore W2912404530C2778738651 @default.
- W2912404530 hasConceptScore W2912404530C33923547 @default.
- W2912404530 hasConceptScore W2912404530C41008148 @default.
- W2912404530 hasConceptScore W2912404530C46274116 @default.
- W2912404530 hasConceptScore W2912404530C52146309 @default.
- W2912404530 hasConceptScore W2912404530C62360110 @default.
- W2912404530 hasConceptScore W2912404530C72169020 @default.
- W2912404530 hasConceptScore W2912404530C80444323 @default.
- W2912404530 hasLocation W29124045301 @default.
- W2912404530 hasOpenAccess W2912404530 @default.
- W2912404530 hasPrimaryLocation W29124045301 @default.
- W2912404530 hasRelatedWork W1476506 @default.
- W2912404530 hasRelatedWork W1487409515 @default.
- W2912404530 hasRelatedWork W1500046621 @default.
- W2912404530 hasRelatedWork W1501414593 @default.
- W2912404530 hasRelatedWork W1534361892 @default.
- W2912404530 hasRelatedWork W1548446199 @default.
- W2912404530 hasRelatedWork W1560997505 @default.
- W2912404530 hasRelatedWork W163597783 @default.
- W2912404530 hasRelatedWork W173782181 @default.
- W2912404530 hasRelatedWork W188597715 @default.
- W2912404530 hasRelatedWork W1995375207 @default.
- W2912404530 hasRelatedWork W2013788787 @default.
- W2912404530 hasRelatedWork W2014806304 @default.
- W2912404530 hasRelatedWork W2025889479 @default.
- W2912404530 hasRelatedWork W2080142817 @default.
- W2912404530 hasRelatedWork W2087490886 @default.
- W2912404530 hasRelatedWork W2142616542 @default.
- W2912404530 hasRelatedWork W2790943123 @default.
- W2912404530 hasRelatedWork W48425311 @default.
- W2912404530 hasRelatedWork W98418125 @default.
- W2912404530 isParatext "false" @default.
- W2912404530 isRetracted "false" @default.
- W2912404530 magId "2912404530" @default.
- W2912404530 workType "article" @default.