Difference between revisions of "FCT (project)"

From Mathfuzzlog
Jump to: navigation, search
(leading par)
 
(People)
Line 1: Line 1:
 
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.
 
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.

Revision as of 16:53, 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.

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.