activity
20102026
most citedOptimal dynamic mechanisms with ex-post IR via bank accounts

19 citations · 74 across the 51 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2023★ 3 cited

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 resul…