Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Conservative extension of polyadic MV-algebras to polyadic pavelka algebras

Conservative extension of polyadic MV-algebras to polyadic pavelka algebras In this paper we prove polyadic counterparts of the Hájek, Paris and Shepherdson's conservative extension theorems of Łukasiewicz predicate logic to rational Pavelka predicate logic. We also discuss the algebraic correspondents of the provability and truth degree for polyadic MV-algebras and prove a representation theorem similar to the one for polyadic Pavelka algebras. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Archive for Mathematical Logic Springer Journals

Conservative extension of polyadic MV-algebras to polyadic pavelka algebras

Download PDF
13 pages

Loading next page...
 
/lp/springer-journals/conservative-extension-of-polyadic-mv-algebras-to-polyadic-pavelka-z0xVHZwHAU

References (6)

Publisher
Springer Journals
Copyright
Copyright © 2006 by Springer-Verlag Berlin Heidelberg
Subject
Mathematics; Mathematics, general; Algebra; Mathematical Logic and Foundations
ISSN
0933-5846
eISSN
1432-0665
DOI
10.1007/s00153-005-0277-z
Publisher site
See Article on Publisher Site

Abstract

In this paper we prove polyadic counterparts of the Hájek, Paris and Shepherdson's conservative extension theorems of Łukasiewicz predicate logic to rational Pavelka predicate logic. We also discuss the algebraic correspondents of the provability and truth degree for polyadic MV-algebras and prove a representation theorem similar to the one for polyadic Pavelka algebras.

Journal

Archive for Mathematical Logic – Springer Journals

Published: May 26, 2006

There are no references for this article.