Rivieccio, Umberto

1. Nelson's Logic S
   2018/03/28 by Thiago Nascimento, Nascimento, Thiago, Umberto Rivieccio +5 · 2 citations
   Computer Science · #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
2. Bilattice Logic Properly Displayed
   2017/09/07 by Greco, Giuseppe, Liang, Fei, Palmigiano, Alessandra +1 · 1 citation
   #FOS: Mathematics #Logic (math.LO)
3. Some more theorems on structural entailment relations and non-deterministic semantics
   2023/10/04 by Carlos Caleiro, Caleiro, Carlos, Sérgio Marcelino +3 · 1 citation
   Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Rough Sets and Fuzzy Logic
4. Axiomatizing the Logic of Ordinary Discourse
   2024/05/06 by Greati, Vitor, Marcelino, Sérgio, Rivieccio, Umberto · 1 citation
   #03B22 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)