# Difference between revisions of "FCT (project)"

From Mathfuzzlog

(awards) |
(full papers) |
||

Line 10: | Line 10: | ||

* The paper ''General logical formalism for fuzzy mathematics: methodology and apparatus'' (by [[Libor Běhounek]] and [[Petr Cintula]]), which describes the project, has been awarded the Best Paper Award at the 11th IFSA World Congress, Beijing 2005. | * The paper ''General logical formalism for fuzzy mathematics: methodology and apparatus'' (by [[Libor Běhounek]] and [[Petr Cintula]]), which describes the project, has been awarded the Best Paper Award at the 11th IFSA World Congress, Beijing 2005. | ||

* The paper ''Interior-based topology in Fuzzy Class Theory'' (by [[Libor Běhounek]] and [[Tomáš Kroupa]]) has been awarded the Distinguished Student Paper Award at the [http://www.eusflat2007.cz 5th Conference of EUSFLAT], Ostrava 2007. | * The paper ''Interior-based topology in Fuzzy Class Theory'' (by [[Libor Běhounek]] and [[Tomáš Kroupa]]) has been awarded the Distinguished Student Paper Award at the [http://www.eusflat2007.cz 5th Conference of EUSFLAT], Ostrava 2007. | ||

+ | |||

+ | == Publications == | ||

+ | |||

+ | === Full papers === | ||

+ | |||

+ | * Běhounek L., Cintula P.: [[From fuzzy logic to fuzzy mathematics: a methodological manifesto]]. Fuzzy Sets and Systems 157(5): 642-646, 2006. | ||

+ | * Běhounek L., Cintula P.: [[Fuzzy class theory]]. Fuzzy Sets and Systems 154(1): 34-55, 2005. | ||

+ | * Běhounek L., Cintula P.: [http://www.cs.cas.cz/research/library/reports_900.shtml Fuzzy Class Theory: A primer v1.0.] Research report No. 939, Institute of Computer Science, Academy of Sciences of the Czech Republic, 2006. | ||

+ | * Běhounek L.: [[On the difference between traditional and deductive fuzzy logic]]. Fuzzy Sets and Systems 159(10): 1153-1164, 2008. | ||

+ | * Běhounek L., Bodenhofer U., Cintula P.: [[Relations in Fuzzy Class Theory: Initial steps]]. Fuzzy Sets and Systems 159(14): 1729-1772, 2008. | ||

+ | * Běhounek L., Daňková M.: [[Relational compositions in Fuzzy Class Theory]]. To appear in Fuzzy Sets and Systems, 2008. | ||

+ | * Kroupa T.: [[Filters in Fuzzy Class Theory]]. Fuzzy Sets and Systems 159(14): 1773-1787, 2008. | ||

+ | * Horčík R.: [[Solution of a system of linear equations with fuzzy numbers]]. Fuzzy Sets and Systems 159(14): 1788-1810, 2008. | ||

+ | * Běhounek L.: [[Fuzzification of Groenendijk-Stokhof propositional erotetic logic]]. Logique et Analyse 47(185-188): 167-188, 2004. |

## Revision as of 17:43, 15 August 2008

The **FCT project** is an open project with the aim to formalize and advance formal fuzzy mathematics within a unified axiomatic framework, based on the methodology of Petr Hájek. Henkin-style higher-order fuzzy logic LPi is proposed for the foundational theory.

## Contents

## People

People involved in the project are listed on this site under the category Category:FCT researchers. The category is intended to include all people who wrote at least one publication that employs or investigates FCT.

## Awards

- In 2005-2007, the project was supported by the junior research grant No. B100300502
*Formal Theories of Mathematical Structures with Vagueness*of the Grant Agency of the Academy of Sciences of the Czech Republic (team members: Petr Cintula, Tomáš Kroupa, Rostislav Horčík, Libor Běhounek). - The paper
*General logical formalism for fuzzy mathematics: methodology and apparatus*(by Libor Běhounek and Petr Cintula), which describes the project, has been awarded the Best Paper Award at the 11th IFSA World Congress, Beijing 2005. - The paper
*Interior-based topology in Fuzzy Class Theory*(by Libor Běhounek and Tomáš Kroupa) has been awarded the Distinguished Student Paper Award at the 5th Conference of EUSFLAT, Ostrava 2007.

## Publications

### Full papers

- Běhounek L., Cintula P.: From fuzzy logic to fuzzy mathematics: a methodological manifesto. Fuzzy Sets and Systems 157(5): 642-646, 2006.
- Běhounek L., Cintula P.: Fuzzy class theory. Fuzzy Sets and Systems 154(1): 34-55, 2005.
- Běhounek L., Cintula P.: Fuzzy Class Theory: A primer v1.0. Research report No. 939, Institute of Computer Science, Academy of Sciences of the Czech Republic, 2006.
- Běhounek L.: On the difference between traditional and deductive fuzzy logic. Fuzzy Sets and Systems 159(10): 1153-1164, 2008.
- Běhounek L., Bodenhofer U., Cintula P.: Relations in Fuzzy Class Theory: Initial steps. Fuzzy Sets and Systems 159(14): 1729-1772, 2008.
- Běhounek L., Daňková M.: Relational compositions in Fuzzy Class Theory. To appear in Fuzzy Sets and Systems, 2008.
- Kroupa T.: Filters in Fuzzy Class Theory. Fuzzy Sets and Systems 159(14): 1773-1787, 2008.
- Horčík R.: Solution of a system of linear equations with fuzzy numbers. Fuzzy Sets and Systems 159(14): 1788-1810, 2008.
- Běhounek L.: Fuzzification of Groenendijk-Stokhof propositional erotetic logic. Logique et Analyse 47(185-188): 167-188, 2004.