Algebraic Logic for Rational Pavelka Predicate Calculus

&
Mathematical Logic Quarterly 47 (3):315-326 (2001)
  Copy   BIBTEX

Abstract

In this paper we define the polyadic Pavelka algebras as algebraic structures for Rational Pavelka predicate calculus . We prove two representation theorems which are the algebraic counterpart of the completness theorem for RPL∀

Categories

Keywords

Reprint years

DOI

10.1002/1521-3870(200108)47:3

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,219

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.
Pavelka-style completeness in expansions of Łukasiewicz logic.Hector Freytes - 2008 - Archive for Mathematical Logic 47 (1):15-23.
Monadic GMV-algebras.Jiří Rachůnek & Dana Šalounová - 2008 - Archive for Mathematical Logic 47 (3):277-297.
Well‐Defined Fuzzy Sentential Logic.Esko Turunen - 1995 - Mathematical Logic Quarterly 41 (2):236-248.
States on Polyadic MV-algebras.George Georgescu - 2010 - Studia Logica 94 (2):231-243.
Representations of MV-algebras by sheaves.Anna R. Ferraioli & Ada Lettieri - 2011 - Mathematical Logic Quarterly 57 (1):27-43.
Rational Pavelka predicate logic is a conservative extension of łukasiewicz predicate logic.Petr Hajek, Jeff Paris & John Shepherdson - 2000 - Journal of Symbolic Logic 65 (2):669-682.
Algebraic Logic.Paul Richard Halmos - 2014 - New York, NY, USA: Chelsea.
Comparing Calculi for First-Order Infinite-Valued Łukasiewicz Logic and First-Order Rational Pavelka Logic.Alexander S. Gerasimov - forthcoming - Logic and Logical Philosophy:1-50.
MV*—Algebras.Renato Lewin, Marta Sagastume & Pedro Massey - 2004 - Logic Journal of the IGPL 12 (6):461-483.

Analytics

Added to PP
2013-12-01

Downloads
26 (#855,855)

6 months
7 (#718,806)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Varying interpolation and amalgamation in polyadic MV-algebras.Tarek Sayed Ahmed - 2015 - Journal of Applied Non-Classical Logics 25 (2):140-192.
States on Polyadic MV-algebras.George Georgescu - 2010 - Studia Logica 94 (2):231-243.

Add more citations

References found in this work

No references found.

Add more references