Journal · Homepage
2K
Publications
17.4K
Citations
Top concepts
EngineeringAutomated ReasoningFormal MethodsComputer ScienceDiscrete MathematicsComputational ComplexityProof ComplexitySemanticsFuzzy LogicFunctional Analysis
Publications per year
1950–2026
2K
2K
Residuated fuzzy logics with an involutive negation
Francesc Esteva, Petr Hájek, Mirko Navara · 2000 · 201 citations
George Georgescu, Andrei Popescu · 2004 · 198 citations
Boolean deductive systems of BL-algebras
2001 · 187 citations
A complete many-valued logic with product-conjunction
Petr Hájek, Francesc Esteva · 1996 · 172 citations
1–5 of 2K