The Functional Interpretation of Logical Deduction by Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay

The Functional Interpretation of Logical Deduction

Advances in Logic

Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay

266 pages • missing pub info (view editions)

nonfiction mathematics medium-paced
Powered by AI (Beta)
Loading...

Description

This comprehensive book provides an adequate framework to establish various calculi of logical inference. Being an 'enriched' system of natural deduction, it helps to formulate logical calculi in an operational manner. By uncovering a certain harm...

Read more

Community Reviews

Loading...

Content Warnings

Loading...