FRINK Linked Data Fragments server

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

• W4366999554 abstract "In order to develop efficient tools for automated reasoning with inconsistency (theorem provers), eventually making Logics of Formal inconsistency (LFI) a more appealing formalism for reasoning under uncertainty, it is important to develop the proof theory of the first-order versions of such LFI's. In our work, we intend make a first step in that direction. On the other hand, the logic Ciore was developed to provide new logical systems in the study of inconsistent databases from the point of view of LFI. An interesting fact about Ciore is that it has a strong consistency operator, that is, a consistency operator which (forward/backward) propagates inconsistency. Also, it turns out to be an algebraizable logic (in the sense of Blok and Pigozzi) that can be characterized by means of a 3-valued logical matrix. Recently, a first-order version of Ciore, namely QCiore, was defined preserving the spirit of Ciore, that is, without introducing unexpected relations between the quantifiers. Besides, some important model-theoretic results were obtained for this logic. In this paper we study some proof--theoretic aspects of both Ciore and QCiore respectively. In first place, we introduce a two-sided sequent system for Ciore. Later, we prove that this system enjoys the cut-elimination property and apply it to derive some interesting properties. Later, we extend the above-mentioned system to first-order languages and prove completeness and cut-elimination property using the well-known Shutte's technique." @default.
• W4366999554 created "2023-04-27" @default.
• W4366999554 creator A5027425027 @default.
• W4366999554 creator A5030154174 @default.
• W4366999554 date "2023-04-22" @default.
• W4366999554 modified "2023-10-01" @default.
• W4366999554 title "Proof-theoretic aspects of paraconsistency with strong consistency operator" @default.
• W4366999554 doi "https://doi.org/10.48550/arxiv.2304.11481" @default.
• W4366999554 hasPublicationYear "2023" @default.
• W4366999554 type Work @default.
• W4366999554 citedByCount "0" @default.
• W4366999554 crossrefType "posted-content" @default.
• W4366999554 hasAuthorship W4366999554A5027425027 @default.
• W4366999554 hasAuthorship W4366999554A5030154174 @default.
• W4366999554 hasBestOaLocation W43669995541 @default.
• W4366999554 hasConcept C100481476 @default.
• W4366999554 hasConcept C102993220 @default.
• W4366999554 hasConcept C104317684 @default.
• W4366999554 hasConcept C108710211 @default.
• W4366999554 hasConcept C111472728 @default.
• W4366999554 hasConcept C118615104 @default.
• W4366999554 hasConcept C134306372 @default.
• W4366999554 hasConcept C138885662 @default.
• W4366999554 hasConcept C142362112 @default.
• W4366999554 hasConcept C153349607 @default.
• W4366999554 hasConcept C158448853 @default.
• W4366999554 hasConcept C16796852 @default.
• W4366999554 hasConcept C169896238 @default.
• W4366999554 hasConcept C17020691 @default.
• W4366999554 hasConcept C17231256 @default.
• W4366999554 hasConcept C185592680 @default.
• W4366999554 hasConcept C189950617 @default.
• W4366999554 hasConcept C199343813 @default.
• W4366999554 hasConcept C199360897 @default.
• W4366999554 hasConcept C200116569 @default.
• W4366999554 hasConcept C2318724 @default.
• W4366999554 hasConcept C2524010 @default.
• W4366999554 hasConcept C2776436953 @default.
• W4366999554 hasConcept C2777686260 @default.
• W4366999554 hasConcept C28077239 @default.
• W4366999554 hasConcept C33923547 @default.
• W4366999554 hasConcept C41008148 @default.
• W4366999554 hasConcept C55493867 @default.
• W4366999554 hasConcept C558565934 @default.
• W4366999554 hasConcept C6489637 @default.
• W4366999554 hasConcept C65880906 @default.
• W4366999554 hasConcept C71924100 @default.
• W4366999554 hasConcept C73301696 @default.
• W4366999554 hasConcept C80444323 @default.
• W4366999554 hasConcept C86339819 @default.
• W4366999554 hasConcept C89421646 @default.
• W4366999554 hasConceptScore W4366999554C100481476 @default.
• W4366999554 hasConceptScore W4366999554C102993220 @default.
• W4366999554 hasConceptScore W4366999554C104317684 @default.
• W4366999554 hasConceptScore W4366999554C108710211 @default.
• W4366999554 hasConceptScore W4366999554C111472728 @default.
• W4366999554 hasConceptScore W4366999554C118615104 @default.
• W4366999554 hasConceptScore W4366999554C134306372 @default.
• W4366999554 hasConceptScore W4366999554C138885662 @default.
• W4366999554 hasConceptScore W4366999554C142362112 @default.
• W4366999554 hasConceptScore W4366999554C153349607 @default.
• W4366999554 hasConceptScore W4366999554C158448853 @default.
• W4366999554 hasConceptScore W4366999554C16796852 @default.
• W4366999554 hasConceptScore W4366999554C169896238 @default.
• W4366999554 hasConceptScore W4366999554C17020691 @default.
• W4366999554 hasConceptScore W4366999554C17231256 @default.
• W4366999554 hasConceptScore W4366999554C185592680 @default.
• W4366999554 hasConceptScore W4366999554C189950617 @default.
• W4366999554 hasConceptScore W4366999554C199343813 @default.
• W4366999554 hasConceptScore W4366999554C199360897 @default.
• W4366999554 hasConceptScore W4366999554C200116569 @default.
• W4366999554 hasConceptScore W4366999554C2318724 @default.
• W4366999554 hasConceptScore W4366999554C2524010 @default.
• W4366999554 hasConceptScore W4366999554C2776436953 @default.
• W4366999554 hasConceptScore W4366999554C2777686260 @default.
• W4366999554 hasConceptScore W4366999554C28077239 @default.
• W4366999554 hasConceptScore W4366999554C33923547 @default.
• W4366999554 hasConceptScore W4366999554C41008148 @default.
• W4366999554 hasConceptScore W4366999554C55493867 @default.
• W4366999554 hasConceptScore W4366999554C558565934 @default.
• W4366999554 hasConceptScore W4366999554C6489637 @default.
• W4366999554 hasConceptScore W4366999554C65880906 @default.
• W4366999554 hasConceptScore W4366999554C71924100 @default.
• W4366999554 hasConceptScore W4366999554C73301696 @default.
• W4366999554 hasConceptScore W4366999554C80444323 @default.
• W4366999554 hasConceptScore W4366999554C86339819 @default.
• W4366999554 hasConceptScore W4366999554C89421646 @default.
• W4366999554 hasLocation W43669995541 @default.
• W4366999554 hasOpenAccess W4366999554 @default.
• W4366999554 hasPrimaryLocation W43669995541 @default.
• W4366999554 hasRelatedWork W1760119702 @default.
• W4366999554 hasRelatedWork W2110615828 @default.
• W4366999554 hasRelatedWork W2149122857 @default.
• W4366999554 hasRelatedWork W2149867064 @default.
• W4366999554 hasRelatedWork W2293455754 @default.
• W4366999554 hasRelatedWork W2966182976 @default.
• W4366999554 hasRelatedWork W3112266304 @default.
• W4366999554 hasRelatedWork W40492301 @default.
• W4366999554 hasRelatedWork W2504209112 @default.
• W4366999554 hasRelatedWork W44358947 @default.

• next