Residuated fuzzy logics with an involutive negation

A propositional calculus with denumerable matrix

Michael Dummett · Journal of Symbolic Logic · 1959 · 400 citations

Computational Logic, Non-classical Logic, Finite Matrices +11

Fragments of many-valued statement calculi

Alan Rose, J. Barkley Rosser · Transactions of the American Mathematical Society · 1958 · 198 citations · Full text

Engineering, Many-valued Statement Calculi, Substructural Logic +4

A complete many-valued logic with product-conjunction

Petr Hájek, Francesc Esteva · Archive for Mathematical Logic · 1996 · 172 citations

Applied Logic, Computational Logic, Engineering +4

Fuzzy logic and arithmetical hierarchy

Petr Hájek · Fuzzy Sets and Systems · 1995 · 95 citations

Fuzzy Logic, Engineering, Fuzzy Computing +3

Fuzzy logic and fuzzy set theory

Gaisi Takeuti, Satoko Titani · Archive for Mathematical Logic · 1992 · 75 citations

Fuzzy Mathematics, Fuzzy Logic, Fuzzy Pattern Recognition +1