|
|||||
|
|
A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism |
|
| Authors: | Espírito Santo José Ferreira Gilda |
| Affiliation: | 1.Centro de Matemática, Universidade do Minho, Braga, Portugal ;2.Universidade Aberta, Rua Almirante Barroso, n 38, 1000-013, Lisbon, Portugal ; |
| Abstract: | Studia Logica - We study an alternative embedding of IPC into atomic system F whose translation of proofs is based, not on instantiation overflow, but instead on the admissibility of the... |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |