In this paper we investigate AGM belief contraction operators by using the tools of algebraic logic. We generalize the notion of contraction to arbitrary finitary propositional logics, and we show how to switch from a syntactic-based approach to a semantic one. This allows to build a solid bridge between the validity of AGM postulates in a propositional logic and specific algebraic properties of its intended algebraic counterpart. Such a connection deserves particular attention when we deal with maxichoice contractions, as studied in the final part of the paper.
On a Logico-Algebraic Approach to AGM Belief Contraction Theory
Fazio, D.;Pra Baldi, M.
2021-01-01
Abstract
In this paper we investigate AGM belief contraction operators by using the tools of algebraic logic. We generalize the notion of contraction to arbitrary finitary propositional logics, and we show how to switch from a syntactic-based approach to a semantic one. This allows to build a solid bridge between the validity of AGM postulates in a propositional logic and specific algebraic properties of its intended algebraic counterpart. Such a connection deserves particular attention when we deal with maxichoice contractions, as studied in the final part of the paper.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
7.On A Logico-Algebraic Approach to AGM belief contraction theory_Fazio_Pra Baldi.pdf
Solo gestori archivio
Tipologia:
versione post-print (AAM)
Dimensione
2.19 MB
Formato
Adobe PDF
|
2.19 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.