A complete many-valued logic with product-conjunction

, &
Archive for Mathematical Logic 35 (3):191-208 (1996)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1007/bf01268618

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,075

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

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
2013-11-23

Downloads
38 (#420,547)

6 months
8 (#364,101)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

View all 32 citations / Add more citations

References found in this work

Selected works.Jan Łukasiewicz - 1970 - Amsterdam,: North-Holland Pub. Co.. Edited by Ludwik Borkowski.
On Fuzzy Logic I Many‐valued rules of inference.Jan Pavelka - 1979 - Mathematical Logic Quarterly 25 (3‐6):45-52.
On Fuzzy Logic I Many‐valued rules of inference.Jan Pavelka - 1979 - Mathematical Logic Quarterly 25 (3-6):45-52.

View all 9 references / Add more references