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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 107,455

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

Petr Hájek, Lluis Godo, and Francesc Esteva. A complete many-valued logic with product-conjunction. Archive for mathematical logic, vol. 35 , pp. 191–208. [REVIEW]Franco Montagna - 2000 - Bulletin of Symbolic Logic 6 (3):346-347.
A Poly-Connexive Logic.Nissim Francez - 2020 - Logic and Logical Philosophy 29 (1):143-157.
Łukasiewicz Negation and Many-Valued Extensions of Constructive Logics.Thomas Macaulay Ferguson - 2014 - In Proc. 44th International Symposium on Multiple-Valued Logic. IEEE Computer Society Press. pp. 121-127.
Well‐Defined Fuzzy Sentential Logic.Esko Turunen - 1995 - Mathematical Logic Quarterly 41 (2):236-248.
Residuated logics based on strict triangular norms with an involutive negation.Petr Cintula, Erich Peter Klement, Radko Mesiar & Mirko Navara - 2006 - Mathematical Logic Quarterly 52 (3):269-282.
Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic.Roberto Cignoli & Antoni Torrens - 2003 - Archive for Mathematical Logic 42 (4):361-370.
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.
Classical Negation and Expansions of Belnap–Dunn Logic.Michael De & Hitoshi Omori - 2015 - Studia Logica 103 (4):825-851.
Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning.Yaroslav Shramko - 2022 - Archive for Mathematical Logic 61 (5):627-651.

Analytics

Added to PP
2013-11-23

Downloads
50 (#511,724)

6 months
6 (#882,563)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

View all 31 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.

View all 8 references / Add more references