Archive for Mathematical Logic 35 (3):191-208 (1996)
| Abstract |
A simple complete axiomatic system is presented for the many-valued propositional logic based on the conjunction interpreted as product, the coresponding implication (Goguen's implication) and the corresponding negation (Gödel's negation). Algebraic proof methods are used. The meaning for fuzzy logic (in the narrow sense) is shortly discussed
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1007/BF01268618 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
The Uncertain Reasoner's Companion: A Mathematical Perspective.J. B. Paris - 1994 - Cambridge University Press.
On Fuzzy Logic I Many-Valued Rules of Inference.Jan Pavelka - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (3-6):45-52.
Die Nichtaxiomatisierbarkeit Des Unendlichwertigen Prädikatenkalküls Von Łukasiewicz.Bruno Scarpellini - 1962 - Journal of Symbolic Logic 27 (2):159-170.
View all 8 references / Add more references
Citations of this work BETA
Distinguished Algebraic Semantics for T -Norm Based Fuzzy Logics: Methods and Algebraic Equivalencies.Petr Cintula, Francesc Esteva, Joan Gispert, Lluís Godo, Franco Montagna & Carles Noguera - 2009 - Annals of Pure and Applied Logic 160 (1):53-81.
Residuated Fuzzy Logics with an Involutive Negation.Francesc Esteva, Lluís Godo, Petr Hájek & Mirko Navara - 2000 - Archive for Mathematical Logic 39 (2):103-124.
Implicational (Semilinear) Logics I: A New Hierarchy. [REVIEW]Petr Cintula & Carles Noguera - 2010 - Archive for Mathematical Logic 49 (4):417-446.
Basic Hoops: An Algebraic Study of Continuous T-Norms.P. Aglianò, I. M. A. Ferreirim & F. Montagna - 2007 - Studia Logica 87 (1):73-98.
Basic Hoops: An Algebraic Study of Continuous T -Norms.P. Aglianò, I. M. A. Ferreirim & F. Montagna - 2007 - Studia Logica 87 (1):73 - 98.
View all 28 citations / Add more citations
Similar books and articles
Complete and Atomic Algebras of the Infinite Valued Łukasiewicz Logic.Roberto Cignoli - 1991 - Studia Logica 50 (3-4):375 - 384.
Product Ł Ukasiewicz Logic.Rostislav Horčík & Petr Cintula - 2004 - Archive for Mathematical Logic 43 (4):477-503.
The $L\pi$ and $L\pi\frac{1}{2}$ Logics: Two Complete Fuzzy Systems Joining Łukasiewicz and Product Logics. [REVIEW]Francesc Esteva, Lluís Godo & Franco Montagna - 2001 - Archive for Mathematical Logic 40 (1):39-67.
Residuated Fuzzy Logics with an Involutive Negation.Francesc Esteva, Lluís Godo, Petr Hájek & Mirko Navara - 2000 - Archive for Mathematical Logic 39 (2):103-124.
Embedding Logics Into Product Logic.Matthias Baaz, Petr Hájek, David Švejda & Jan Krajíček - 1998 - Studia Logica 61 (1):35-47.
On Łukasiewicz's Four-Valued Modal Logic.Josep Maria Font & Petr Hájek - 2002 - Studia Logica 70 (2):157-182.
Analytic Calculi for Product Logics.George Metcalfe, Nicola Olivetti & Dov Gabbay - 2004 - Archive for Mathematical Logic 43 (7):859-889.
Weakening of Intuitionistic Negation for Many-Valued Paraconsistent da Costa System.Zoran Majkić - 2008 - Notre Dame Journal of Formal Logic 49 (4):401-424.
Algorithmic Logic. Multiple-Valued Extensions.Helena Rasiowa - 1979 - Studia Logica 38 (4):317 - 335.
Four-Valued Logic.Katalin Bimbó & J. Michael Dunn - 2001 - Notre Dame Journal of Formal Logic 42 (3):171-192.
Empirical Meaningfulness and Intuitionistic Logic.John Myhill - 1972 - Philosophy and Phenomenological Research 33 (2):186-191.
On the Standard and Rational Completeness of Some Axiomatic Extensions of the Monoidal T-Norm Logic.Francesc Esteva, Joan Gispert, Lluís Godo & Franco Montagna - 2002 - Studia Logica 71 (2):199 - 226.
Analytics
Added to PP index
2013-11-23
Total views
26 ( #439,230 of 2,507,711 )
Recent downloads (6 months)
1 ( #416,820 of 2,507,711 )
2013-11-23
Total views
26 ( #439,230 of 2,507,711 )
Recent downloads (6 months)
1 ( #416,820 of 2,507,711 )
How can I increase my downloads?
Downloads
