Thiago Nascimento

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 6

Top Topics

Classical Logic

Fixed Point Semantics

Sound And Complete With Respect

Proof Procedures

Top Venues

Publications

Umberto Rivieccio, Tommaso Flaminio, Thiago Nascimento
On the representation of (weak) nilpotent minimum algebras. FUZZ-IEEE (2020)
Thiago Nascimento, Umberto Rivieccio, João Marcos, Matthew Spinks
Nelson's logic ℒ. Log. J. IGPL 28 (6) (2020)
Umberto Rivieccio, Ramon Jansana, Thiago Nascimento
Two Dualities for Weakly Pseudo-complemented quasi-Kleene Algebras. IPMU (3) (2020)
Matthew Spinks, Umberto Rivieccio, Thiago Nascimento
Compatibly involutive residuated lattices and the Nelson identity. Soft Comput. 23 (7) (2019)
Fei Liang, Thiago Nascimento
Algebraic Semantics for Quasi-Nelson Logic. WoLLIC (2019)
Thiago Nascimento, Umberto Rivieccio, João Marcos, Matthew Spinks
S. WoLLIC (2018)