Academic Journal
On varieties of MV-algebras with internal states
| Τίτλος: | On varieties of MV-algebras with internal states |
|---|---|
| Συγγραφείς: | DI NOLA, Antonio, DVURECENSKIJ A, LETTIERI, Ada |
| Πηγή: | International Journal of Approximate Reasoning. 51:680-694 |
| Στοιχεία εκδότη: | Elsevier BV, 2010. |
| Έτος έκδοσης: | 2010 |
| Θεματικοί όροι: | MV-algebras, Subdirectly irreducible state MV-algebra, State-morphism-operator, Applied Mathematics, State-morphism MV-algebra, 02 engineering and technology, de Finetti coherence, 01 natural sciences, Theoretical Computer Science, state-morphism MV-algebras, State MV-algebra, MV-algebraic state, Artificial Intelligence, Internal state, Many-valued logic, 0202 electrical engineering, electronic engineering, information engineering, 0101 mathematics, Software |
| Περιγραφή: | Flaminio and Montagna developed a logic where (de Finetti) coherence of a conditional assessment \(C\) is expressible as logical coherence of a suitably defined theory \(T(C)\) in the logic. The algebras of this logic are known as SMV-algebras. In earlier papers, the authors of the paper under review introduced a variant of SMV-algebras, called ``state-morphism MV-algebras''. The class of these algebras is definable by equations. The present paper is mainly devoted to the analysis of subvariaties of state-morphism MV-algebras. |
| Τύπος εγγράφου: | Article |
| Περιγραφή αρχείου: | application/xml; application/pdf |
| Γλώσσα: | English |
| ISSN: | 0888-613X |
| DOI: | 10.1016/j.ijar.2010.01.017 |
| Σύνδεσμος πρόσβασης: | http://hdl.handle.net/11588/367794 https://hdl.handle.net/11386/2600060 https://hdl.handle.net/11588/367794 https://doi.org/10.1016/j.ijar.2010.01.017 |
| Rights: | Elsevier Non-Commercial |
| Αριθμός Καταχώρησης: | edsair.doi.dedup.....0a7a84e30cd2dca0f12eb563b144fcd1 |
| Βάση Δεδομένων: | OpenAIRE |
| ISSN: | 0888613X |
|---|---|
| DOI: | 10.1016/j.ijar.2010.01.017 |