Castaño, Diego

1. Strong standard completeness theorems for S5-modal Lukasiewicz logics
   2024/08/08 by Diego Castaño, José Patricio Díaz Varela, Castaño, Diego +3 · 1 citation
   Computer Science · #Advanced Algebra and Logic #FOS: Mathematics #Formal Methods in Verification #Logic (math.LO) #Logic, Reasoning, and Knowledge