Matches in SemOpenAlex for { <https://semopenalex.org/work/W4311709888> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W4311709888 endingPage "1746" @default.
- W4311709888 startingPage "1720" @default.
- W4311709888 abstract "Abstract In Artemov (2020, J. Logic Comput., 30, 61–76), a logical system called the logic of evidence aggregation (LEA) was introduced, along with an intended semantics for it called probability semantics. The goal was to describe probabilistic evidence aggregation in the setting of formal logic. However, as noted in that paper, LEA is not complete with respect to probability semantics. This leaves the tasks open to find sound and complete semantics for LEA and a proper axiomatization for probability semantics. In this paper, we do both. We define a class of basic models called deductive basic models. We show LEA is sound and complete with respect to the class of deductive basic models. We also define an axiomatic system LEA$_+$ extending LEA and show it is sound and complete with respect to probability semantics. Along the way, we develop an intermediate system LEA$_-$ which, it turns out, is equivalent to propositional lax logic with a classical logic base. Sequent systems and decidability results for LEA$_-$ and LEA$_+$ are also presented." @default.
- W4311709888 created "2022-12-28" @default.
- W4311709888 creator A5067776665 @default.
- W4311709888 date "2022-12-01" @default.
- W4311709888 modified "2023-09-26" @default.
- W4311709888 title "Soundness and completeness results for LEA and probability semantics" @default.
- W4311709888 cites W2023132547 @default.
- W4311709888 cites W2050519161 @default.
- W4311709888 cites W2093397547 @default.
- W4311709888 cites W2162289206 @default.
- W4311709888 cites W2791380809 @default.
- W4311709888 cites W2963033713 @default.
- W4311709888 cites W4256679749 @default.
- W4311709888 cites W4301948629 @default.
- W4311709888 doi "https://doi.org/10.1093/logcom/exac074" @default.
- W4311709888 hasPublicationYear "2022" @default.
- W4311709888 type Work @default.
- W4311709888 citedByCount "0" @default.
- W4311709888 crossrefType "journal-article" @default.
- W4311709888 hasAuthorship W4311709888A5067776665 @default.
- W4311709888 hasConcept C118615104 @default.
- W4311709888 hasConcept C134306372 @default.
- W4311709888 hasConcept C153269930 @default.
- W4311709888 hasConcept C154945302 @default.
- W4311709888 hasConcept C156325763 @default.
- W4311709888 hasConcept C167729594 @default.
- W4311709888 hasConcept C17231256 @default.
- W4311709888 hasConcept C184337299 @default.
- W4311709888 hasConcept C199360897 @default.
- W4311709888 hasConcept C200116569 @default.
- W4311709888 hasConcept C207648694 @default.
- W4311709888 hasConcept C2524010 @default.
- W4311709888 hasConcept C32241873 @default.
- W4311709888 hasConcept C33923547 @default.
- W4311709888 hasConcept C39920170 @default.
- W4311709888 hasConcept C41008148 @default.
- W4311709888 hasConcept C49937458 @default.
- W4311709888 hasConcept C80444323 @default.
- W4311709888 hasConcept C89497691 @default.
- W4311709888 hasConceptScore W4311709888C118615104 @default.
- W4311709888 hasConceptScore W4311709888C134306372 @default.
- W4311709888 hasConceptScore W4311709888C153269930 @default.
- W4311709888 hasConceptScore W4311709888C154945302 @default.
- W4311709888 hasConceptScore W4311709888C156325763 @default.
- W4311709888 hasConceptScore W4311709888C167729594 @default.
- W4311709888 hasConceptScore W4311709888C17231256 @default.
- W4311709888 hasConceptScore W4311709888C184337299 @default.
- W4311709888 hasConceptScore W4311709888C199360897 @default.
- W4311709888 hasConceptScore W4311709888C200116569 @default.
- W4311709888 hasConceptScore W4311709888C207648694 @default.
- W4311709888 hasConceptScore W4311709888C2524010 @default.
- W4311709888 hasConceptScore W4311709888C32241873 @default.
- W4311709888 hasConceptScore W4311709888C33923547 @default.
- W4311709888 hasConceptScore W4311709888C39920170 @default.
- W4311709888 hasConceptScore W4311709888C41008148 @default.
- W4311709888 hasConceptScore W4311709888C49937458 @default.
- W4311709888 hasConceptScore W4311709888C80444323 @default.
- W4311709888 hasConceptScore W4311709888C89497691 @default.
- W4311709888 hasIssue "8" @default.
- W4311709888 hasLocation W43117098881 @default.
- W4311709888 hasOpenAccess W4311709888 @default.
- W4311709888 hasPrimaryLocation W43117098881 @default.
- W4311709888 hasRelatedWork W135120204 @default.
- W4311709888 hasRelatedWork W1976684752 @default.
- W4311709888 hasRelatedWork W2022800703 @default.
- W4311709888 hasRelatedWork W2030369737 @default.
- W4311709888 hasRelatedWork W2041021428 @default.
- W4311709888 hasRelatedWork W2060914009 @default.
- W4311709888 hasRelatedWork W2082729761 @default.
- W4311709888 hasRelatedWork W2548065651 @default.
- W4311709888 hasRelatedWork W4200101922 @default.
- W4311709888 hasRelatedWork W4311709888 @default.
- W4311709888 hasVolume "32" @default.
- W4311709888 isParatext "false" @default.
- W4311709888 isRetracted "false" @default.
- W4311709888 workType "article" @default.