collaborators

1 paper

math.LO2025

A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)

Renato Leme, Marcelo Coniglio, Bruno Lopes

Kurt Gödel proved that it is not possible to characterize Intuitionistic Propositional Logic (IPL) by means of finite and deterministic truth-tables. After extending the same resu…