118 citations · 293 across the 21 of their papers we have counts for
1 paper · 1 filter
Mário S. Alvim
Logic is the science of correct inferences and a logical system is a tool to prove assertions in a certain logic in a correct way. There are many logical systems, and many ways of…