A General Framework for Mathematical Fuzzy Logic. Chapter 2

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F11%3A00372981" target="_blank" >RIV/67985807:_____/11:00372981 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
A General Framework for Mathematical Fuzzy Logic. Chapter 2
Original language description
The aim of this chapter is to present a marriage of Mathematical Fuzzy Logic and (Abstract) Algebraic Logic in order to provide a general background for the rest of the handbook. We use the notions and techniques from the latter to create a new frameworkwhere we can develop in a natural way a particular technical notion corresponding to the intuition of fuzzy logics as the logics of chains. Our framework is the class of weakly implicative semilinear logics, roughly speaking logics with implication connective which are complete with respect to the class of linear ordered matrices. We choose the term `semilinear' instead of `fuzzy', because the term `fuzzy' is too heavily charged with many conflicting potential meanings. The chapter is structured as follows. In Section 1 we introduce the necessary notions from (Abstract) Algebraic Logic, the definition of weakly implicative logic and some refinements thereof and provide three increasingly stronger completeness theorems for them. Moreove
Czech name
—
Czech description
—

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2011
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)