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

Leme, Renato

  1. A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
    2023/08/25 by RENATO R. LEME, Leme, Renato, MARCELO E. CONIGLIO +3 · 1 citation
    #03B20 #03B25 #03B35 #03B45 #68V15 #FOS: Mathematics #Logic (math.LO)