Jaime da Gama Gaspar


AuthID: R-00H-T0S

Confirmed Publications: 14



11
TITLE: Negative Translations Not Intuitionistically Equivalent to the Usual Ones  Full Text
AUTHORS: Gaspar, J ;
PUBLISHED: 2013, SOURCE: STUDIA LOGICA, VOLUME: 101, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Unpaywall
IN MY: ORCID | DBLP | CIÊNCIAVITAE
12
TITLE: On Tao's "finitary" infinite pigeonhole principle
AUTHORS: Jaime Gaspar ; Ulrich Kohlenbach;
PUBLISHED: 2010, SOURCE: J. Symb. Log., VOLUME: 75, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP | CIÊNCIAVITAE
13
TITLE: Proof interpretations with truth  Full Text
AUTHORS: Gaspar, J ; Oliva, P;
PUBLISHED: 2010, SOURCE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 56, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Unpaywall
IN MY: ORCID | DBLP | CIÊNCIAVITAE
14
TITLE: Factorization of the Shoenfield-like Bounded Functional Interpretation
AUTHORS: Gaspar, J ;
PUBLISHED: 2009, SOURCE: NOTRE DAME JOURNAL OF FORMAL LOGIC, VOLUME: 50, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 3 Unpaywall
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 2 of 2. Total results: 14.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service