Matches in SemOpenAlex for { <https://semopenalex.org/work/W1789543273> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1789543273 endingPage "292" @default.
- W1789543273 startingPage "272" @default.
- W1789543273 abstract "In this paper I elaborate a proof system that is able to prove all classical first order logic consequences of consistent premise sets, without proving trivial consequences of inconsistent premises (as in A, ¬A ⊢ B). Essentially this result is obtained by formally distinguishing consequences that are the result of merely decomposing the premises into their subformulas from consequences that may be the result of also composing ‘new’, more complex formulas. I require that, whenever ‘new’ formulas are derived, they are to be preceded by a special +-symbol and these +-preceded formulas are not to be decomposed. By doing this, the proofs are separated into a decomposition phase followed by a composition phase. The proofs are recursive, axiomatizable and, as they do not trivialize inconsistent premise sets, they define a very strong non-transitive paraconsistent logic, for which I also provide an adequate semantics." @default.
- W1789543273 created "2016-06-24" @default.
- W1789543273 creator A5061918684 @default.
- W1789543273 date "2011-01-01" @default.
- W1789543273 modified "2023-09-23" @default.
- W1789543273 title "Strong Paraconsistency by Separating Composition and Decomposition in Classical Logic" @default.
- W1789543273 cites W1557338616 @default.
- W1789543273 cites W1873680480 @default.
- W1789543273 cites W2058751637 @default.
- W1789543273 cites W2092293513 @default.
- W1789543273 cites W2098244894 @default.
- W1789543273 cites W2142634407 @default.
- W1789543273 cites W4238292764 @default.
- W1789543273 doi "https://doi.org/10.1007/978-3-642-20920-8_26" @default.
- W1789543273 hasPublicationYear "2011" @default.
- W1789543273 type Work @default.
- W1789543273 sameAs 1789543273 @default.
- W1789543273 citedByCount "1" @default.
- W1789543273 countsByYear W17895432732012 @default.
- W1789543273 crossrefType "book-chapter" @default.
- W1789543273 hasAuthorship W1789543273A5061918684 @default.
- W1789543273 hasBestOaLocation W17895432732 @default.
- W1789543273 hasConcept C100481476 @default.
- W1789543273 hasConcept C102993220 @default.
- W1789543273 hasConcept C108710211 @default.
- W1789543273 hasConcept C111472728 @default.
- W1789543273 hasConcept C114614502 @default.
- W1789543273 hasConcept C118615104 @default.
- W1789543273 hasConcept C136119220 @default.
- W1789543273 hasConcept C138885662 @default.
- W1789543273 hasConcept C16796852 @default.
- W1789543273 hasConcept C169896238 @default.
- W1789543273 hasConcept C191399111 @default.
- W1789543273 hasConcept C199343813 @default.
- W1789543273 hasConcept C202444582 @default.
- W1789543273 hasConcept C2318724 @default.
- W1789543273 hasConcept C2524010 @default.
- W1789543273 hasConcept C2777686260 @default.
- W1789543273 hasConcept C2778023277 @default.
- W1789543273 hasConcept C32241873 @default.
- W1789543273 hasConcept C33923547 @default.
- W1789543273 hasConcept C41008148 @default.
- W1789543273 hasConcept C71924100 @default.
- W1789543273 hasConcept C80444323 @default.
- W1789543273 hasConceptScore W1789543273C100481476 @default.
- W1789543273 hasConceptScore W1789543273C102993220 @default.
- W1789543273 hasConceptScore W1789543273C108710211 @default.
- W1789543273 hasConceptScore W1789543273C111472728 @default.
- W1789543273 hasConceptScore W1789543273C114614502 @default.
- W1789543273 hasConceptScore W1789543273C118615104 @default.
- W1789543273 hasConceptScore W1789543273C136119220 @default.
- W1789543273 hasConceptScore W1789543273C138885662 @default.
- W1789543273 hasConceptScore W1789543273C16796852 @default.
- W1789543273 hasConceptScore W1789543273C169896238 @default.
- W1789543273 hasConceptScore W1789543273C191399111 @default.
- W1789543273 hasConceptScore W1789543273C199343813 @default.
- W1789543273 hasConceptScore W1789543273C202444582 @default.
- W1789543273 hasConceptScore W1789543273C2318724 @default.
- W1789543273 hasConceptScore W1789543273C2524010 @default.
- W1789543273 hasConceptScore W1789543273C2777686260 @default.
- W1789543273 hasConceptScore W1789543273C2778023277 @default.
- W1789543273 hasConceptScore W1789543273C32241873 @default.
- W1789543273 hasConceptScore W1789543273C33923547 @default.
- W1789543273 hasConceptScore W1789543273C41008148 @default.
- W1789543273 hasConceptScore W1789543273C71924100 @default.
- W1789543273 hasConceptScore W1789543273C80444323 @default.
- W1789543273 hasLocation W17895432731 @default.
- W1789543273 hasLocation W17895432732 @default.
- W1789543273 hasLocation W17895432733 @default.
- W1789543273 hasOpenAccess W1789543273 @default.
- W1789543273 hasPrimaryLocation W17895432731 @default.
- W1789543273 hasRelatedWork W1519265079 @default.
- W1789543273 hasRelatedWork W1520236645 @default.
- W1789543273 hasRelatedWork W1574253590 @default.
- W1789543273 hasRelatedWork W1789543273 @default.
- W1789543273 hasRelatedWork W2010978810 @default.
- W1789543273 hasRelatedWork W2497009355 @default.
- W1789543273 hasRelatedWork W2618266715 @default.
- W1789543273 hasRelatedWork W4210248079 @default.
- W1789543273 hasRelatedWork W4229613077 @default.
- W1789543273 hasRelatedWork W2043931823 @default.
- W1789543273 isParatext "false" @default.
- W1789543273 isRetracted "false" @default.
- W1789543273 magId "1789543273" @default.
- W1789543273 workType "book-chapter" @default.