FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2157041256> ?p ?o ?g. }

• W2157041256 abstract "In this paper we consider the theory of predicate logics in which the principle of bivalence or the principle of noncontradiction or both fail. Such logics are partial or paraconsistent or both. We consider sequent calculi for these logics and prove model existence. For $ bf L_4$, the most general logic under consideration, we also prove a version of the Craig-Lyndon Interpolation Theorem. The paper shows that many techniques used for classical predicate logic generalize to partial and paraconsistent logics once the right setup is chosen. Our logic $ bf L_4$ has a semantics that also underlies Belnap's logic and is related to the logic of bilattices. $ bf L_4$ is in focus most of the time, but it is also shown how results obtained for $ bf L_4$ can be transferred to several variants." @default.
• W2157041256 created "2016-06-24" @default.
• W2157041256 creator A5004614569 @default.
• W2157041256 date "1999-07-01" @default.
• W2157041256 modified "2023-09-26" @default.
• W2157041256 title "On Partial and Paraconsistent Logics" @default.
• W2157041256 cites W1487409515 @default.
• W2157041256 cites W1554618854 @default.
• W2157041256 cites W2001805670 @default.
• W2157041256 cites W2006111919 @default.
• W2157041256 cites W2006286500 @default.
• W2157041256 cites W2007325469 @default.
• W2157041256 cites W2011189621 @default.
• W2157041256 cites W2019121961 @default.
• W2157041256 cites W2023605209 @default.
• W2157041256 cites W2027379370 @default.
• W2157041256 cites W2034572172 @default.
• W2157041256 cites W2082817076 @default.
• W2157041256 cites W2093713825 @default.
• W2157041256 cites W2143810536 @default.
• W2157041256 cites W2171680127 @default.
• W2157041256 cites W4247117798 @default.
• W2157041256 cites W4249259371 @default.
• W2157041256 cites W4253690505 @default.
• W2157041256 doi "https://doi.org/10.1305/ndjfl/1022615616" @default.
• W2157041256 hasPublicationYear "1999" @default.
• W2157041256 type Work @default.
• W2157041256 sameAs 2157041256 @default.
• W2157041256 citedByCount "22" @default.
• W2157041256 countsByYear W21570412562012 @default.
• W2157041256 countsByYear W21570412562013 @default.
• W2157041256 countsByYear W21570412562014 @default.
• W2157041256 countsByYear W21570412562015 @default.
• W2157041256 countsByYear W21570412562016 @default.
• W2157041256 countsByYear W21570412562017 @default.
• W2157041256 countsByYear W21570412562018 @default.
• W2157041256 countsByYear W21570412562019 @default.
• W2157041256 countsByYear W21570412562020 @default.
• W2157041256 countsByYear W21570412562023 @default.
• W2157041256 crossrefType "journal-article" @default.
• W2157041256 hasAuthorship W2157041256A5004614569 @default.
• W2157041256 hasBestOaLocation W21570412561 @default.
• W2157041256 hasConcept C102993220 @default.
• W2157041256 hasConcept C108710211 @default.
• W2157041256 hasConcept C118615104 @default.
• W2157041256 hasConcept C136119220 @default.
• W2157041256 hasConcept C140146324 @default.
• W2157041256 hasConcept C144760519 @default.
• W2157041256 hasConcept C150889026 @default.
• W2157041256 hasConcept C154945302 @default.
• W2157041256 hasConcept C16796852 @default.
• W2157041256 hasConcept C169896238 @default.
• W2157041256 hasConcept C178421362 @default.
• W2157041256 hasConcept C1883856 @default.
• W2157041256 hasConcept C19689857 @default.
• W2157041256 hasConcept C199343813 @default.
• W2157041256 hasConcept C199360897 @default.
• W2157041256 hasConcept C202444582 @default.
• W2157041256 hasConcept C203659156 @default.
• W2157041256 hasConcept C2039508 @default.
• W2157041256 hasConcept C206321295 @default.
• W2157041256 hasConcept C2524010 @default.
• W2157041256 hasConcept C2777686260 @default.
• W2157041256 hasConcept C32241873 @default.
• W2157041256 hasConcept C33203268 @default.
• W2157041256 hasConcept C33923547 @default.
• W2157041256 hasConcept C3845977 @default.
• W2157041256 hasConcept C41008148 @default.
• W2157041256 hasConcept C42011625 @default.
• W2157041256 hasConcept C5263885 @default.
• W2157041256 hasConcept C58166 @default.
• W2157041256 hasConcept C65880906 @default.
• W2157041256 hasConcept C69562738 @default.
• W2157041256 hasConcept C71924100 @default.
• W2157041256 hasConcept C80444323 @default.
• W2157041256 hasConcept C86602344 @default.
• W2157041256 hasConcept C89421646 @default.
• W2157041256 hasConcept C98224912 @default.
• W2157041256 hasConceptScore W2157041256C102993220 @default.
• W2157041256 hasConceptScore W2157041256C108710211 @default.
• W2157041256 hasConceptScore W2157041256C118615104 @default.
• W2157041256 hasConceptScore W2157041256C136119220 @default.
• W2157041256 hasConceptScore W2157041256C140146324 @default.
• W2157041256 hasConceptScore W2157041256C144760519 @default.
• W2157041256 hasConceptScore W2157041256C150889026 @default.
• W2157041256 hasConceptScore W2157041256C154945302 @default.
• W2157041256 hasConceptScore W2157041256C16796852 @default.
• W2157041256 hasConceptScore W2157041256C169896238 @default.
• W2157041256 hasConceptScore W2157041256C178421362 @default.
• W2157041256 hasConceptScore W2157041256C1883856 @default.
• W2157041256 hasConceptScore W2157041256C19689857 @default.
• W2157041256 hasConceptScore W2157041256C199343813 @default.
• W2157041256 hasConceptScore W2157041256C199360897 @default.
• W2157041256 hasConceptScore W2157041256C202444582 @default.
• W2157041256 hasConceptScore W2157041256C203659156 @default.
• W2157041256 hasConceptScore W2157041256C2039508 @default.
• W2157041256 hasConceptScore W2157041256C206321295 @default.
• W2157041256 hasConceptScore W2157041256C2524010 @default.
• W2157041256 hasConceptScore W2157041256C2777686260 @default.
• W2157041256 hasConceptScore W2157041256C32241873 @default.

• next