FCT (project)

From Mathfuzzlog
Revision as of 16:41, 15 August 2008 by LBehounek (talk | contribs) (leading par)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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.