Archive for Mathematical Logic 43 (4):477-503 (2004)

Abstract
Łu logic plays a fundamental role among many-valued logics. However, the expressive power of this logic is restricted to piecewise linear functions. In this paper we enrich the language of Łu logic by adding a new connective which expresses multiplication. The resulting logic, PŁ, is defined, developed, and put into the context of other well-known many-valued logics. We also deal with several extensions of this propositional logic. A predicate version of PŁ logic is introduced and developed too
Keywords fuzzy logic  many-valued logic  Łu logic  ŁΠ  logic  Takeuti  Titani logic  MV-algebra  product MV-algebra
Categories (categorize this paper)
DOI 10.1007/s00153-004-0214-6
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,607
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

An Algebraic Approach to Propositional Fuzzy Logic.Franco Montagna - 2000 - Journal of Logic, Language and Information 9 (1):91-124.
Fuzzy Logic and Arithmetical Hierarchy III.Petr Hájek - 2001 - Studia Logica 68 (1):129-142.
Metamathematics of Fuzzy Logic.P. Hájek - 2002 - Studia Logica 72 (3):433-437.

View all 6 references / Add more references

Citations of this work BETA

On Theories and Models in Fuzzy Predicate Logics.Petr Hájek & Petr Cintula - 2006 - Journal of Symbolic Logic 71 (3):863 - 880.
On Vagueness, Truth Values and Fuzzy Logics.Petr Hájek - 2009 - Studia Logica 91 (3):367-382.
Logics with Disjunction and Proof by Cases.San-min Wang & Petr Cintula - 2008 - Archive for Mathematical Logic 47 (5):435-446.

View all 9 citations / Add more citations

Similar books and articles

Well‐Defined Fuzzy Sentential Logic.Esko Turunen - 1995 - Mathematical Logic Quarterly 41 (2):236-248.
Advances in the ŁΠ and Logics.Petr Cintula - 2003 - Archive for Mathematical Logic 42 (5):449-468.
Boolean Deductive Systems of BL-Algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
An Algebraic Approach to Propositional Fuzzy Logic.Franco Montagna - 2000 - Journal of Logic, Language and Information 9 (1):91-124.
Finiteness in Infinite-Valued Łukasiewicz Logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
A Complete Many-Valued Logic with Product-Conjunction.Petr Hájek, Lluis Godo & Francesc Esteva - 1996 - Archive for Mathematical Logic 35 (3):191-208.
Process Algebra with Four-Valued Logic.Jan A. Bergstra & Alban Ponse - 2000 - Journal of Applied Non-Classical Logics 10 (1):27-53.
The Semijoin Algebra and the Guarded Fragment.Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz & Jan Van den Bussche - 2005 - Journal of Logic, Language and Information 14 (3):331-343.
Standard Completeness Theorem for ΠMTL.Rostislav Horĉík - 2005 - Archive for Mathematical Logic 44 (4):413-424.

Analytics

Added to PP index
2013-11-23

Total views
41 ( #280,590 of 2,533,653 )

Recent downloads (6 months)
1 ( #389,210 of 2,533,653 )

How can I increase my downloads?

Downloads

My notes