Matches in SemOpenAlex for { <https://semopenalex.org/work/W4310823635> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W4310823635 abstract "Belnap-Dunn's relevance logic, BD, was designed seeking a suitable logical device for dealing with multiple information sources which sometimes may provide inconsistent and/or incomplete pieces of information. BD is a four-valued logic which is both paraconsistent and paracomplete. On the other hand, De and Omori while investigating what classical negation amounts to in a paracomplete and paraconsistent four-valued setting, proposed the expansion BD2 of the four valued Belnap-Dunn logic by a classical negation. In this paper, we reintroduce the logic BD2 by means of a primitive weak consistency operator $copyright$. This approach allows us to state in a direct way that this is not only a Logic of Formal Inconsistency (LFI) but also a Logic of Formal Underterminedness (LFU). After presenting a natural Hilbert-style characterization of BD2 obtained by means of twist-structures semantics, we propose a first-order version of BD2 called QBD2, with semantics based on an appropriate notion of partial structures. We show that in QBD2, $exists$ and $forall$ are interdefinable in terms of the paracomplete and paraconsistent negation, and not by means of the the classical negation. Finally, a Hilbert-style calculus for QBD2 is presented, proving the corresponding and soundness and completeness theorems." @default.
- W4310823635 created "2022-12-18" @default.
- W4310823635 creator A5027425027 @default.
- W4310823635 creator A5037312962 @default.
- W4310823635 creator A5046524282 @default.
- W4310823635 date "2022-12-03" @default.
- W4310823635 modified "2023-10-10" @default.
- W4310823635 title "On a four-valued logic of formal inconsistency and formal underterminedness" @default.
- W4310823635 doi "https://doi.org/10.48550/arxiv.2212.01677" @default.
- W4310823635 hasPublicationYear "2022" @default.
- W4310823635 type Work @default.
- W4310823635 citedByCount "0" @default.
- W4310823635 crossrefType "posted-content" @default.
- W4310823635 hasAuthorship W4310823635A5027425027 @default.
- W4310823635 hasAuthorship W4310823635A5037312962 @default.
- W4310823635 hasAuthorship W4310823635A5046524282 @default.
- W4310823635 hasBestOaLocation W43108236351 @default.
- W4310823635 hasConcept C102993220 @default.
- W4310823635 hasConcept C118615104 @default.
- W4310823635 hasConcept C134306372 @default.
- W4310823635 hasConcept C136119220 @default.
- W4310823635 hasConcept C150889026 @default.
- W4310823635 hasConcept C16796852 @default.
- W4310823635 hasConcept C169896238 @default.
- W4310823635 hasConcept C17231256 @default.
- W4310823635 hasConcept C199343813 @default.
- W4310823635 hasConcept C199360897 @default.
- W4310823635 hasConcept C202444582 @default.
- W4310823635 hasConcept C203659156 @default.
- W4310823635 hasConcept C2185349 @default.
- W4310823635 hasConcept C2776436953 @default.
- W4310823635 hasConcept C2777686260 @default.
- W4310823635 hasConcept C33923547 @default.
- W4310823635 hasConcept C3845977 @default.
- W4310823635 hasConcept C39920170 @default.
- W4310823635 hasConcept C41008148 @default.
- W4310823635 hasConcept C71924100 @default.
- W4310823635 hasConcept C80444323 @default.
- W4310823635 hasConceptScore W4310823635C102993220 @default.
- W4310823635 hasConceptScore W4310823635C118615104 @default.
- W4310823635 hasConceptScore W4310823635C134306372 @default.
- W4310823635 hasConceptScore W4310823635C136119220 @default.
- W4310823635 hasConceptScore W4310823635C150889026 @default.
- W4310823635 hasConceptScore W4310823635C16796852 @default.
- W4310823635 hasConceptScore W4310823635C169896238 @default.
- W4310823635 hasConceptScore W4310823635C17231256 @default.
- W4310823635 hasConceptScore W4310823635C199343813 @default.
- W4310823635 hasConceptScore W4310823635C199360897 @default.
- W4310823635 hasConceptScore W4310823635C202444582 @default.
- W4310823635 hasConceptScore W4310823635C203659156 @default.
- W4310823635 hasConceptScore W4310823635C2185349 @default.
- W4310823635 hasConceptScore W4310823635C2776436953 @default.
- W4310823635 hasConceptScore W4310823635C2777686260 @default.
- W4310823635 hasConceptScore W4310823635C33923547 @default.
- W4310823635 hasConceptScore W4310823635C3845977 @default.
- W4310823635 hasConceptScore W4310823635C39920170 @default.
- W4310823635 hasConceptScore W4310823635C41008148 @default.
- W4310823635 hasConceptScore W4310823635C71924100 @default.
- W4310823635 hasConceptScore W4310823635C80444323 @default.
- W4310823635 hasLocation W43108236351 @default.
- W4310823635 hasLocation W43108236352 @default.
- W4310823635 hasOpenAccess W4310823635 @default.
- W4310823635 hasPrimaryLocation W43108236351 @default.
- W4310823635 hasRelatedWork W1485474850 @default.
- W4310823635 hasRelatedWork W1770974247 @default.
- W4310823635 hasRelatedWork W189555107 @default.
- W4310823635 hasRelatedWork W1999598455 @default.
- W4310823635 hasRelatedWork W2075756851 @default.
- W4310823635 hasRelatedWork W2075998444 @default.
- W4310823635 hasRelatedWork W2092293513 @default.
- W4310823635 hasRelatedWork W2557563739 @default.
- W4310823635 hasRelatedWork W3082758730 @default.
- W4310823635 hasRelatedWork W582265660 @default.
- W4310823635 isParatext "false" @default.
- W4310823635 isRetracted "false" @default.
- W4310823635 workType "article" @default.