States on polyadic mv-algebras
Studia Logica 94 (2) (2010)
| Abstract | This paper is a contribution to the algebraic logic of probabilistic models of Łukasiewicz predicate logic. We study the MV-states defined on polyadic MV-algebras and prove an algebraic many-valued version of Gaifman’s completeness theorem. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,865 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesDon Pigozzi & Antonino Salibra (1995). The Abstract Variable-Binding Calculus. Studia Logica 55 (1):129 - 179.
Miklós Ferenczi (2007). Finitary Polyadic Algebras From Cylindric Algebras. Studia Logica 87 (1):1 - 11.
Vera Stebletsova (2000). Weakly Associative Relation Algebras with Polyadic Composition Operations. Studia Logica 66 (2):297-323.
Tarek Sayed Ahmed (2007). A Note on Neat Reducts. Studia Logica 85 (2):139 - 151.
Roch Ouellet (1982). A Categorical Approach to Polyadic Algebras. Studia Logica 41 (4):317 - 327.
Anatolij Dvurečenskij (2001). States on Pseudo MV-Algebras. Studia Logica 68 (3):301-327.
István Németi (1991). Algebraization of Quantifier Logics, an Introductory Overview. Studia Logica 50 (3-4):485 - 569.
Daniele Mundici (1995). Averaging the Truth-Value in Łukasiewicz Logic. Studia Logica 55 (1):113 - 127.
Tarek Sayed Ahmed (2008). On Complete Representations of Reducts of Polyadic Algebras. Studia Logica 89 (3):325 - 332.
István Németi & Gábor Sági (2000). On the Equational Theory of Representable Polyadic Equality Algebras. Journal of Symbolic Logic 65 (3):1143-1167.
Analytics
Monthly downloads |
Added to index2010-02-27Total downloads14 ( #84,151 of 556,769 )Recent downloads (6 months)1 ( #64,754 of 556,769 )How can I increase my downloads? |
My notes
Discussion
