| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4661861 | Annals of Pure and Applied Logic | 2013 | 11 Pages |
Abstract
In their Basic Logic, Sambin, Battilotti and Faggian give a foundation of logical inference rules by reference to certain reflection principles. We investigate the relationship between these principles and the principle of Definitional Reflection proposed by Hallnäs and Schroeder-Heister.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
