Strong standard completeness for continuous t-norms
File(s)Kulacka.pdf (268.14 KB)
Accepted version
Author(s)
Kulacka, Agnieszka
Type
Journal Article
Abstract
This paper presents a proof of a strong completeness theorem for an extended axiomatic system of fuzzy logic BL with respect to all continuous t-norms. A finite strong standard completeness theorem for all continuous t-norms and their residua, the basic fuzzy logic, was proved across two papers Hájek (1998) and Cignoli et al. (2000). In Montagna (2007), the language of BL is extended by an additional connective and the axiomatic system includes an infinitary rule to achieve strong completeness result. In this paper we provide a proof of strong completeness for BL with a different infinitary inference rule but without extending the language of BL. We will also prove strong completeness for the Łukasiewicz and product t-norms using this extended axiomatic system.
Date Issued
2018-08-15
Date Acceptance
2018-01-02
Citation
Fuzzy Sets and Systems, 2018, 345, pp.139-150
ISSN
0165-0114
Publisher
Elsevier
Start Page
139
End Page
150
Journal / Book Title
Fuzzy Sets and Systems
Volume
345
Copyright Statement
Crown Copyright © 2018 Published by Elsevier B.V. This manuscript is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International http://creativecommons.org/licenses/by-nc-nd/4.0/
Subjects
0101 Pure Mathematics
0801 Artificial Intelligence And Image Processing
Artificial Intelligence & Image Processing
Publication Status
Published
Date Publish Online
2018-01-09