Felipe Sasdelli

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Valued Semantics

Classical First Order Logic

Propositional Logic

Top Venues

Publications

Felipe Sasdelli, Maycon Amaro, Elton M. Cardoso, Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro
Syntax vs Semantics: Comparing Consistency Proofs for Minimal Propositional Logics. SBLP (2020)