English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/164664
logo share SHARE logo core CORE   Add this article to your Mendeley library MendeleyBASE

Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL
Exportar a otros formatos:


On Boolean Algebras of Conditionals and Their Logical Counterpart

AuthorsFlaminio, Tommaso ; Godo, Lluis ; Hosni, Hykel
KeywordsConditionals events
Uncertain reasoning
Non-monotonic reasoning
Boolean algebra of conditionals
Issue Date10-Jul-2017
CitationSymbolic and Quantitative Approaches to Reasoning with Uncertainty; 14th European Conference ECSQARU 2017. Proceedings; LNAI 10369: 246- 256 (2017)
AbstractThis paper sheds a novel light on the longstanding problem of investigating the logic of conditional events. Building on the framework of Boolean algebras of conditionals previously introduced by the authors, we make two main new contributions. First, we fully characterise the atomic structure of these algebras of conditionals. Second, we introduce the logic of Boolean conditionals (LBC) and prove its completeness with respect to the natural semantics induced by the structural properties of the atoms in a conditional algebra as described in the first part. In addition we outline the close connection of LBC with preferential consequence relations, arguably one of the most appreciated systems of non-monotonic reasoning. © Springer International Publishing AG 2017.
Identifiersdoi: 10.1007/978-3-319-61581-3_23
issn: 03029743
isbn: 978-331961580-6
Appears in Collections:(IIIA) Comunicaciones congresos
Files in This Item:
File Description SizeFormat 
ECSQARU17_LNAI10369(246-256).pdf327,81 kBAdobe PDFThumbnail
Show full item record
Review this work

Related articles:

WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.