In this position paper we present a logical framework for modelling reasoning with graded predicates. We distinguish several types of graded predicates and discuss their ubiquity in rational interaction and the logical challenges they pose. We present mathematical fuzzy logic as a set of logical tools that can be used to model reasoning with graded predicates, and discuss a philosophical account of vagueness that makes use of these tools. This approach is then generalized to other kinds of graded predicates. Finally, we propose a general research program towards a logic-based account of reasoning with graded predicates
The dissertation consists of the author's published papers on logic-based fuzzy mathe- matics. It is...
The paper considers the fundamental notions of many- valued logic together with some of the main tre...
This contribution presents a comprehensive view on problems of approximate reasoning with imprecise ...
In this position paper we present a logical framework for modelling reasoning with graded predicates...
We present a logic for reasoning about graded inequalities which gener-alizes the ordinary inequatio...
The concept of logic proposition induced functions is proposed in the present paper, then the concep...
This paper is devoted to reasoning about fuzzy logic which is based on various personal observations...
In this dissertation, the semantics of logical systems which are able to express vagueness and grade...
Deductive verification techniques based on program logics (i.e., the family of Floyd-Hoare logics) a...
The object of this study is to look at categorical approaches to many valued logic, both proposition...
In the literature on vagueness one finds two very different kinds of degree theory. The dominant kin...
This book presents a systematic treatment of deductive aspects and structures of fuzzy logic underst...
Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated a...
Abstract. In this paper we define a framework to introduce gradedness in Deontic logics through the ...
This contribution provides an exhaustive explana-tion of the graded approach to the monotonicity pro...
The dissertation consists of the author's published papers on logic-based fuzzy mathe- matics. It is...
The paper considers the fundamental notions of many- valued logic together with some of the main tre...
This contribution presents a comprehensive view on problems of approximate reasoning with imprecise ...
In this position paper we present a logical framework for modelling reasoning with graded predicates...
We present a logic for reasoning about graded inequalities which gener-alizes the ordinary inequatio...
The concept of logic proposition induced functions is proposed in the present paper, then the concep...
This paper is devoted to reasoning about fuzzy logic which is based on various personal observations...
In this dissertation, the semantics of logical systems which are able to express vagueness and grade...
Deductive verification techniques based on program logics (i.e., the family of Floyd-Hoare logics) a...
The object of this study is to look at categorical approaches to many valued logic, both proposition...
In the literature on vagueness one finds two very different kinds of degree theory. The dominant kin...
This book presents a systematic treatment of deductive aspects and structures of fuzzy logic underst...
Originating as an attempt to provide solid logical foundations for fuzzy set theory, and motivated a...
Abstract. In this paper we define a framework to introduce gradedness in Deontic logics through the ...
This contribution provides an exhaustive explana-tion of the graded approach to the monotonicity pro...
The dissertation consists of the author's published papers on logic-based fuzzy mathe- matics. It is...
The paper considers the fundamental notions of many- valued logic together with some of the main tre...
This contribution presents a comprehensive view on problems of approximate reasoning with imprecise ...