vix.ing · top · new · best · stats · spec

José Patricio Díaz Varela

  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
  2. Conuclei on varieties of hoops
    2026/07/18 by Sebastián Buss, Diego Castaño, José Patricio Díaz Varela
    #math.LO