Fuenmayor, David

1. 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
2. Semantical Investigations on Non-classical Logics with Recovery Operators: Negation
   2021/04/09 by Fuenmayor, David · 1 citation
   #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
3. Automated Reasoning in Non-classical Logics in the TPTP World
   2022/02/20 by Alexander Steen, David Fuenmayor, Steen, Alexander +7 · 3 citations
   Computer Science · #03B45 #03B60 (Secondary) #68T30 (Primary) 68T27 #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Semantic Web and Ontologies