Identifying Knowledge from the Application of Natural Deduction Rules in Propositional Logic.

Fabiane F. P. Galafassi, Cristiano Galafassi, Rosa Maria Vicari, Joo Carlos Gluz

Browse the full PAAMS paper archive.