On fuzzy type theory

A formulation of the simple theory of types

Alonzo Church · Journal of Symbolic Logic · 1940 · 1.9K citations

Natural Sciences, Mathematics, Algebra +9

Monoidal t-norm based logictowards a logic for left-continuous t-norms

Francesc Esteva, Lluı́s Godo · Fuzzy Sets and Systems · 2001 · 916 citations

Humanities, Computer Science, Mathematics +6

Completeness in the theory of types

Leon Henkin · Journal of Symbolic Logic · 1950 · 842 citations

Humanities, Computer Science, Mathematics +12

Peter B. Andrews. An introduction to mathematical logic and type theory: to truth through proof. Computer science and applied mathematics. Academic Press, Orlando etc. 1986, xv + 304 pp.

Journal of Symbolic Logic · 1988 · 452 citations

Humanities, Computer Science, Mathematics +12

Equality relations as a basis for fuzzy control

Frank Klawonn, Rudolf Kruse · Fuzzy Sets and Systems · 1993 · 141 citations

Natural Sciences, Mathematics, Set Theory +10