Poster Presentations
| A SYSTEM OF NATURAL DEDUCTION FOR THE PROPOSITIONAL LOGIC OF THE PLAUSIBLE | Abstract |
| Ana Claudia de Jesus Golzio, Kleidson Êglicio Carvalho da Silva Oliveira, Angela Pereira Rodrigues, Hércules de Araujo Feitosa |
This work is licensed under a Creative Commons Attribution 3.0 License.