States on Polyadic MV-algebras

Studia Logica 94 (2):231-243 (2010)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-010-9233-y

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Conservative extension of polyadic MV-algebras to polyadic pavelka algebras.Dumitru Daniel Drăgulici - 2006 - Archive for Mathematical Logic 45 (5):601-613.
Algebraic Logic for Rational Pavelka Predicate Calculus.Daniel Drăgulici & George Georgescu - 2001 - Mathematical Logic Quarterly 47 (3):315-326.
States on pseudo MV-Algebras.Anatolij Dvurečenskij - 2001 - Studia Logica 68 (3):301-327.
Monadic GMV-algebras.Jiří Rachůnek & Dana Šalounová - 2008 - Archive for Mathematical Logic 47 (3):277-297.
Representation and extension of states on MV-algebras.TomአKroupa - 2006 - Archive for Mathematical Logic 45 (4):381-392.
Expanding Quasi-MV Algebras by a Quantum Operator.Roberto Giuntini, Antonio Ledda & Francesco Paoli - 2007 - Studia Logica 87 (1):99-128.
MV-Algebras and Quantum Computation.Antonio Ledda, Martinvaldo Konig, Francesco Paoli & Roberto Giuntini - 2006 - Studia Logica 82 (2):245-270.
Pavelka-style completeness in expansions of Łukasiewicz logic.Hector Freytes - 2008 - Archive for Mathematical Logic 47 (1):15-23.
Averaging the truth-value in łukasiewicz logic.Daniele Mundici - 1995 - Studia Logica 55 (1):113 - 127.
Representations of MV-algebras by sheaves.Anna R. Ferraioli & Ada Lettieri - 2011 - Mathematical Logic Quarterly 57 (1):27-43.

Analytics

Added to PP
2010-02-27

Downloads
55 (#391,139)

6 months
10 (#399,629)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Algebraic Logic.Paul Richard Halmos - 2014 - New York, NY, USA: Chelsea.
Assigning Probabilities to Logical Formulas.Dana Scott & Peter Krauss - 1967 - In Jaakko Hintikka (ed.), Aspects of inductive logic. Amsterdam,: North Holland Pub. Co.. pp. 219 -- 264.
Representation and extension of states on MV-algebras.TomአKroupa - 2006 - Archive for Mathematical Logic 45 (4):381-392.

View all 8 references / Add more references