Comments on Interpretability and Decidability in Fuzzy Logic

Number of the records: 1

1.

SYSNO ASEP	0350424
Document Type	J - Journal Article
R&D Document Type	Journal Article
Subsidiary J	Článek ve WOS
Title	Comments on Interpretability and Decidability in Fuzzy Logic
Author(s)	Hájek, Petr (UIVT-O)_{RID, SAI}
Source Title	Journal of Logic and Computation - ISSN 0955-792X Roč. 21, č. 5 (2011), s. 823-828
Number of pages	6 s.
Language	eng - English
Country	GB - United Kingdom
Keywords	mathematical fuzzy logic ; interpretability ; decidability
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	000295183000007
EID SCOPUS	80053234307
DOI	https://doi.org/10.1093/logcom/exp058
Annotation	A particular notion of an interpretation of a theory over a fuzzy predicate logic in another such theory is discussed. For interpretability with the domain defined by a provably crisp formula, which is of course a syntactical notion, a semantic characterization is established. In the last section, we discuss the question of whether the extension of a decidable theory by a single new axiom is decidable and present an erratum to the paper (Hájek, 2007, Fundamenta informaticae, 81, 155–163).
Workplace	Institute of Computer Science
Contact	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Year of Publishing	2012

Number of the records: 1