3 citations · 4 across the 2 of their papers we have counts for
2 papers
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…
cs.LO2023★ 1 cited
ReLo: a Dynamic Logic to Reason About Reo Circuits
Erick Grilo, Bruno Lopes
Critical systems require high reliability and are present in many domains. They are systems in which failure may result in financial damage or even loss of lives. Standard techniqu…