1,721,000 research outputs found
Handbook of Mathematical Fuzzy Logic. Volume 1
Full text linkOriginating as an attempt to provide solid logical foundations
for fuzzy set theory, and motivated also by philosophical
and computational problems of vagueness and imprecision,
Mathematical Fuzzy Logic (MFL) has become a significant
subfield of mathematical logic. Research in this area focuses
on many-valued logics with linearly ordered truth values and
has yielded elegant and deep mathematical theories and
challenging problems, thus continuing to attract an ever
increasing number of researchers.
This two-volume handbook provides an up-to-date systematic
presentation of the best-developed areas of MFL. Its intended
audience is researchers working on MFL or related fields, who
may use the text as a reference book, and anyone looking for
a comprehensive introduction to MFL. Despite being located
in the realm of pure mathematical logic, this handbook will
also be useful for readers interested in logical foundations of
fuzzy set theory or in a mathematical apparatus suitable for
dealing with some philosophical and linguistic issues related
to vagueness.
The first volume contains a gentle introduction to MFL, a
presentation of an abstract algebraic framework for MFL,
chapters on proof theory and algebraic semantics of fuzzy
logics, and, finally, an algebraic study of Hájek’s logic BL.
The second volume is devoted to Łukasiewicz logic and MValgebras,
Gödel-Dummett logic and its variants, fuzzy logics
in expanded propositional languages, studies of functional
representations for fuzzy logics and their free algebras,
computational complexity of propositional logics, and
arithmetical complexity of first-order logics
2 Reflexion in C++
No full textPetr Cintula – Compactness of various fuzzy logics 38 Zuzana Haniková – Complexity of the propositional tautology problem for t-norm logics 43 Emil Kotrč – Analy´za dat z projektu MAGIC-telescope pomocí rozhodovacích strom˚u a les˚u 4
2 doktorand:
No full textPetr Cintula – Compactness of various fuzzy logics 38 Zuzana Haniková – Complexity of the propositional tautology problem for t-norm logics 43 Emil Kotrč – Analy´za dat z projektu MAGIC-telescope pomocí rozhodovacích strom ˚u a les˚u 4
Going Beyond Counting First Authors in Author Co-citation Analysis
Full text linkThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Archive for Mathematical Logic manuscript No. (will be inserted by the editor)
No full textAbstract This paper presents two classes of propositional logics (understood as a consequence relation). First we generalize the well-known class of implicative logics of Rasiowa and introduce the class of weakly implicative logics. This class is broad enough to contain many “usual ” logics, yet easily manageable with nice logical properties. Then we introduce its subclass— the class of weakly implicative fuzzy logics. It contains the majority of logics studied in the literature under the name fuzzy logic. We present many general theorems for both classes, demonstrating their usefulness and importance
Variations on the Author
Full text link“Variations on the Author” discusses two of Eduardo Coutinho’s recent films (Um Dia na Vida, from 2010, and Últimas Conversas, posthumously released in 2015) and their contribution to the general question of documentary authorship. The director’s filmography is characterized by a consistent yet self-effacing form of authorial self-inscription: Coutinho often features as an interviewer that rather than express opinions propels discourses; an interviewer that is good at listening. This mode of self-inscription characterizes him as an author who is not expressive but who is nonetheless markedly present on the screen. In Um Dia na Vida, however, Coutinho is completely absent form the image, while Últimas Conversas, on the contrary, includes a confessional prologue that moves the director from the margins to the center of his films. This article examines the ways in which these works stand out in the filmography of a director who offers new insights into the notion of cinematic authorship
Preface
No full textThis work contains contributions I have made to the mathematical fuzzy logic during my PhD study. Although I was interested in many topics during this period, two main ones have emerged quite recently. The first one is a “universalistic ” approach towards the variety of fuzzy logics studied in the literature. The main imperative of this approach is to focus not on the particular logics but rather on their classes. The reader should be aware that I use the term fuzzy logic in rather narrow sense (see Chapter 1 for more details) and thus the term “universal ” is to be understood as restricted to my particular setting. I was inspired by existing (usually more general) approaches described in the literature, mainly by the so-called Abstract Algebraic Logic (AAL). I tried to isolate the essential elements of these approaches and alter their methods to suit better the existing variety of fuzzy logics. This resulted in the definition of the class of the weakly implicative fuzzy logics, which is, in my view, a very good formalization of the pre-theoretic notion of a fuzzy logic as a logic of “comparative degrees of truth”. I was able to prove some interesting general theorems and apply them to obtain not only known results about existing fuzzy logic, but also new ones. Chapter 2 is dedicated to elaboratin
- …
