Matches in SemOpenAlex for { <https://semopenalex.org/work/W2891540857> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2891540857 abstract "We extend the classic propositional tableau method in order to compute the models given by the semantics of the Priest’s paraconsistent logic of paradox. Without loss of generality, we assume that the knowledge base is represented through propositional statements in NNF, which leads to use only two rules from the classical propositional tableau calculus for computing the paraconsistent models. We consider multisets to represent branches of the tableau tree and we extend the classical closed branches in order to compute the paradoxical models of formulas of the knowledge base. A sound and complete algorithm is provided." @default.
- W2891540857 created "2018-09-27" @default.
- W2891540857 creator A5050217126 @default.
- W2891540857 creator A5060129976 @default.
- W2891540857 creator A5067398506 @default.
- W2891540857 date "2018-01-01" @default.
- W2891540857 modified "2023-09-27" @default.
- W2891540857 title "On Enumerating Models for the Logic of Paradox Using Tableau" @default.
- W2891540857 cites W1644534823 @default.
- W2891540857 cites W1794340710 @default.
- W2891540857 cites W1973288761 @default.
- W2891540857 cites W1974536974 @default.
- W2891540857 cites W1988056011 @default.
- W2891540857 cites W1996579835 @default.
- W2891540857 cites W2005215122 @default.
- W2891540857 cites W200763735 @default.
- W2891540857 cites W2087490886 @default.
- W2891540857 cites W2155776066 @default.
- W2891540857 cites W2171271549 @default.
- W2891540857 cites W2258514347 @default.
- W2891540857 cites W2538057974 @default.
- W2891540857 cites W37537225 @default.
- W2891540857 cites W4233253115 @default.
- W2891540857 doi "https://doi.org/10.1007/978-3-030-00461-3_16" @default.
- W2891540857 hasPublicationYear "2018" @default.
- W2891540857 type Work @default.
- W2891540857 sameAs 2891540857 @default.
- W2891540857 citedByCount "0" @default.
- W2891540857 crossrefType "book-chapter" @default.
- W2891540857 hasAuthorship W2891540857A5050217126 @default.
- W2891540857 hasAuthorship W2891540857A5060129976 @default.
- W2891540857 hasAuthorship W2891540857A5067398506 @default.
- W2891540857 hasConcept C11413529 @default.
- W2891540857 hasConcept C154945302 @default.
- W2891540857 hasConcept C41008148 @default.
- W2891540857 hasConcept C80444323 @default.
- W2891540857 hasConceptScore W2891540857C11413529 @default.
- W2891540857 hasConceptScore W2891540857C154945302 @default.
- W2891540857 hasConceptScore W2891540857C41008148 @default.
- W2891540857 hasConceptScore W2891540857C80444323 @default.
- W2891540857 hasLocation W28915408571 @default.
- W2891540857 hasLocation W28915408572 @default.
- W2891540857 hasLocation W28915408573 @default.
- W2891540857 hasOpenAccess W2891540857 @default.
- W2891540857 hasPrimaryLocation W28915408571 @default.
- W2891540857 hasRelatedWork W2051487156 @default.
- W2891540857 hasRelatedWork W2073681303 @default.
- W2891540857 hasRelatedWork W2317200988 @default.
- W2891540857 hasRelatedWork W2358668433 @default.
- W2891540857 hasRelatedWork W2376932109 @default.
- W2891540857 hasRelatedWork W2382290278 @default.
- W2891540857 hasRelatedWork W2386767533 @default.
- W2891540857 hasRelatedWork W2390279801 @default.
- W2891540857 hasRelatedWork W2748952813 @default.
- W2891540857 hasRelatedWork W2899084033 @default.
- W2891540857 isParatext "false" @default.
- W2891540857 isRetracted "false" @default.
- W2891540857 magId "2891540857" @default.
- W2891540857 workType "book-chapter" @default.