Matches in SemOpenAlex for { <https://semopenalex.org/work/W1621504386> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1621504386 endingPage "331" @default.
- W1621504386 startingPage "320" @default.
- W1621504386 abstract "Signed systems were introduced as a general, syntax-independent framework for paraconsistent reasoning, that is, non-trivialised reasoning from inconsistent information. In this paper, we show how the family of corresponding paraconsistent consequence relations can be axiomatised by means of quantified Boolean formulas. This approach has several benefits. First, it furnishes an axiomatic specification of paraconsistent reasoning within the framework of signed systems. Second, this axiomatisation allows us to identify upper bounds for the complexity of the different signed consequence relations. We strengthen these upper bounds by providing strict complexity results for the considered reasoning tasks. Finally, we obtain an implementation of different forms of paraconsistent reasoning by appeal to the existing system QUIP." @default.
- W1621504386 created "2016-06-24" @default.
- W1621504386 creator A5033529457 @default.
- W1621504386 creator A5058467603 @default.
- W1621504386 creator A5073662063 @default.
- W1621504386 creator A5006053030 @default.
- W1621504386 date "2002-01-01" @default.
- W1621504386 modified "2023-10-06" @default.
- W1621504386 title "Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems" @default.
- W1621504386 cites W1544144575 @default.
- W1621504386 cites W1548446199 @default.
- W1621504386 cites W1576746045 @default.
- W1621504386 cites W1586434992 @default.
- W1621504386 cites W1717023982 @default.
- W1621504386 cites W1836852804 @default.
- W1621504386 cites W1996184580 @default.
- W1621504386 cites W1997714358 @default.
- W1621504386 cites W2004387901 @default.
- W1621504386 cites W2107316243 @default.
- W1621504386 cites W2155322595 @default.
- W1621504386 doi "https://doi.org/10.1007/3-540-45757-7_27" @default.
- W1621504386 hasPublicationYear "2002" @default.
- W1621504386 type Work @default.
- W1621504386 sameAs 1621504386 @default.
- W1621504386 citedByCount "11" @default.
- W1621504386 countsByYear W16215043862023 @default.
- W1621504386 crossrefType "book-chapter" @default.
- W1621504386 hasAuthorship W1621504386A5006053030 @default.
- W1621504386 hasAuthorship W1621504386A5033529457 @default.
- W1621504386 hasAuthorship W1621504386A5058467603 @default.
- W1621504386 hasAuthorship W1621504386A5073662063 @default.
- W1621504386 hasBestOaLocation W16215043862 @default.
- W1621504386 hasConcept C11413529 @default.
- W1621504386 hasConcept C154945302 @default.
- W1621504386 hasConcept C167729594 @default.
- W1621504386 hasConcept C199360897 @default.
- W1621504386 hasConcept C2524010 @default.
- W1621504386 hasConcept C33923547 @default.
- W1621504386 hasConcept C41008148 @default.
- W1621504386 hasConcept C60048249 @default.
- W1621504386 hasConcept C69562738 @default.
- W1621504386 hasConcept C80444323 @default.
- W1621504386 hasConceptScore W1621504386C11413529 @default.
- W1621504386 hasConceptScore W1621504386C154945302 @default.
- W1621504386 hasConceptScore W1621504386C167729594 @default.
- W1621504386 hasConceptScore W1621504386C199360897 @default.
- W1621504386 hasConceptScore W1621504386C2524010 @default.
- W1621504386 hasConceptScore W1621504386C33923547 @default.
- W1621504386 hasConceptScore W1621504386C41008148 @default.
- W1621504386 hasConceptScore W1621504386C60048249 @default.
- W1621504386 hasConceptScore W1621504386C69562738 @default.
- W1621504386 hasConceptScore W1621504386C80444323 @default.
- W1621504386 hasLocation W16215043861 @default.
- W1621504386 hasLocation W16215043862 @default.
- W1621504386 hasOpenAccess W1621504386 @default.
- W1621504386 hasPrimaryLocation W16215043861 @default.
- W1621504386 hasRelatedWork W155209255 @default.
- W1621504386 hasRelatedWork W1555836633 @default.
- W1621504386 hasRelatedWork W16157476 @default.
- W1621504386 hasRelatedWork W178365807 @default.
- W1621504386 hasRelatedWork W1970375080 @default.
- W1621504386 hasRelatedWork W2051487156 @default.
- W1621504386 hasRelatedWork W2052122378 @default.
- W1621504386 hasRelatedWork W2073681303 @default.
- W1621504386 hasRelatedWork W2081441417 @default.
- W1621504386 hasRelatedWork W2317200988 @default.
- W1621504386 isParatext "false" @default.
- W1621504386 isRetracted "false" @default.
- W1621504386 magId "1621504386" @default.
- W1621504386 workType "book-chapter" @default.