FCT (project)

From Mathfuzzlog
Revision as of 16:53, 15 August 2008 by LBehounek (talk | contribs) (People)

Jump to: navigation, search

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.

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.