Number of the records: 1
Expanding Basic Fuzzy Logic with Truth Constants for Component Delimiters
- 1.
SYSNO ASEP 0373822 Document Type J - Journal Article R&D Document Type Journal Article Subsidiary J Článek ve WOS Title Expanding Basic Fuzzy Logic with Truth Constants for Component Delimiters Author(s) Haniková, Zuzana (UIVT-O) SAI, RID, ORCID Source Title Fuzzy Sets and Systems. - : Elsevier - ISSN 0165-0114
Roč. 197, 16 June (2012), s. 95-107Number of pages 13 s. Language eng - English Country NL - Netherlands Keywords mathematics ; non-classical logics ; algebra ; basic fuzzy logic BL ; propositional constants Subject RIV BA - General Mathematics R&D Projects GEICC/08/E018 GA ČR - Czech Science Foundation (CSF) CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000303631200007 EID SCOPUS 84859420837 DOI 10.1016/j.fss.2011.11.006 Annotation In this paper we investigate the propositional logic of standard algebras for Hájek's Basic Fuzzy Logic BL in a language expanded with propositional constants for the idempotent elements delimiting the L-, G-, and Pi-components of the algebra. We start from a fixed standard BL-algebra; introduce new propositional constants; present a suitable set of axioms; investigate completeness results; and give some complexity results. Workplace Institute of Computer Science Contact Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Year of Publishing 2013
Number of the records: 1