On fuzzy type theory
Top Cited Papers
- 16 January 2005
- journal article
- Published by Elsevier in Fuzzy Sets and Systems
- Vol. 149 (2) , 235-273
- https://doi.org/10.1016/j.fss.2004.03.027
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A Development of Set Theory in Fuzzy LogicPublished by Springer Nature ,2003
- Normal forms for fuzzy logic functions and their approximation abilityFuzzy Sets and Systems, 2001
- Monoidal t-norm based logictowards a logic for left-continuous t-normsFuzzy Sets and Systems, 2001
- Classical Type TheoryPublished by Elsevier ,2001
- Equality relations as a basis for fuzzy controlFuzzy Sets and Systems, 1993
- General Intensional LogicPublished by Springer Nature ,1984
- A reduction of the axioms for the theory of prepositional typesFundamenta Mathematicae, 1963
- A theory of prepositional typesFundamenta Mathematicae, 1963
- Completeness in the theory of typesThe Journal of Symbolic Logic, 1950
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940