Algebraic logic for rational Pavelka predicate calculus (Q2743646)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Algebraic logic for rational Pavelka predicate calculus |
scientific article; zbMATH DE number 1652344
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algebraic logic for rational Pavelka predicate calculus |
scientific article; zbMATH DE number 1652344 |
Statements
6 November 2001
0 references
Pavelka logic
0 references
polyadic MV-algebras
0 references
polyadic Pavelka algebras
0 references
Algebraic logic for rational Pavelka predicate calculus (English)
0 references
The authors investigate the algebraic counterparts of rational Pavelka predicate logic (for background see \textit{P. Hájek's} book [Metamathematics of fuzzy logic, Kluwer, Dordrecht, Trends in Logic, Studia Logica Library, Vol. 4 (1998; Zbl 0937.03030)]). The appropriate structures are given by adding a structure of Pavelka algebra to Schwartz's polyadic MV-algebras [\textit{D. Schwartz}, Math. Nachr. 78, 131-138 (1977; Zbl 0402.03054); Z. Math. Logik Grundlagen Math. 26, 561-564 (1980; Zbl 0488.03035)].NEWLINENEWLINENEWLINEThe paper culminates with two representation theorems for polyadic Pavelka algebras.
0 references
