Marcelo E. Coniglio

1. Some model-theoretic results on the 3-valued paraconsistent first-order\n logic QCiore
   2018/07/15 by Marcelo E. Coniglio, Tadeo G. Gomez, Coniglio, Marcelo E. +3 · 1 citation
   Computer Science · #03B53 (Primary) 03C80 #03C90 (Secondary) #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
2. Logics of Formal Inconsistency enriched with replacement: an algebraic\n and modal account
   2020/03/20 by Walter Carnielli, Carnielli, Walter, Marcelo E. Coniglio +3 · 1 citation
   Computer Science · #03B45 #03B53 #03B62 #03G27 #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems