English   español  
Please use this identifier to cite or link to this item: http://hdl.handle.net/10261/160967
logo share SHARE logo core CORE   Add this article to your Mendeley library MendeleyBASE

Visualizar otros formatos: MARC | Dublin Core | RDF | ORE | MODS | METS | DIDL | DATACITE
Exportar a otros formatos:


On product logic with truth-constants

AuthorsSavicky, Petr; Cignoli, Roberto; Esteva, Francesc CSIC ORCID ; Godo, Lluis CSIC ORCID ; Noguera, Carles CSIC ORCID
KeywordsStandard completeness
Fuzzy logic
Product logic
Non-classical logic
Issue Date2006
PublisherOxford University Press
CitationJournal of Logic and Computation 16: 205- 225 (2006)
AbstractProduct Logic Π is an axiomatic extension of Hájek's Basic Fuzzy Logic BL coping with the 1-tautologies when the strong conjunction & and implication → are interpreted by the product of reals in [0, 1] and its residuum respectively. In this paper we investigate expansions of Product Logic by adding into the language a countable set of truth-constants (one truth-constant <rmacr> for each r in a countable Π-subalgebra <Cscr> of [0, 1]) and by adding the corresponding book-keeping axioms for the truthconstants. We first show that the corresponding logics Π(<Cscr>) are algebraizable, and hence complete with respect to the variety of Π(<Cscr>)-algebras. The main result of the paper is the canonical standard completeness of these logics, that is, theorems of Π(<Cscr>) are exactly the 1-tautologies of the algebra defined over the real unit interval where the truth-constants are interpreted as their own values. It is also shown that they do not enjoy the canonical strong standard completeness, but they enjoy it for finite theories when restricted to evaluated Π-formulas of the kind <rmacr> → φ, where <rmacr> is a truth-constant and φ a formula not containing truth-constants. Finally we consider the logics Π(Δ)(<Cscr>), the expansion of Π(<Cscr>) with the well-known Baaz's projection connective Δ, and we show canonical finite strong standard completeness for them.
Identifiersdoi: 10.1093/logcom/exi075
issn: 0955-792X
Appears in Collections:(IIIA) Artículos
Files in This Item:
File Description SizeFormat 
JLC16(2006)_205-25.pdf245,41 kBAdobe PDFThumbnail
Show full item record
Review this work

Related articles:

WARNING: Items in Digital.CSIC are protected by copyright, with all rights reserved, unless otherwise indicated.