Rodriguez, Ricardo
- On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
2008/11/13 by Félix Bou, Bou, Felix, Francesc Esteva +5 · 2 citations
Computer Science · #Advanced Algebra and Logic #semigroups and automata theory #Rough Sets and Fuzzy Logic
- Simplified Kripke semantics for K45-like Godel modal logics and its axiomatic extensions
2021/05/13 by Rodriguez, Ricardo, Tuyt, Olim, Godo, Lluis +1 · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO)