rel="stylesheet">
Creating and sharing knowledge in communications and information technology

Decidability of Consequence in Logics via Reduction

Ramos, J. ; Rasga, J. ; Sernadas, C.

Book: Walter Carnielli on Reasoning, Paraconsistency, and Probability
ISBN: 978-3-032-11027-5

Download Full text PDF ( 449 KBs)