Jaime da Gama Gaspar


AuthID: R-00H-T0S

Confirmed Publications: 10



1
TITLE: Hardwiring truth in functional interpretations
AUTHORS: Dinis, Bruno; Gaspar, Jaime ;
PUBLISHED: 2023, SOURCE: PORTUGALIAE MATHEMATICA, VOLUME: 80, ISSUE: 1-2
INDEXED IN: Scopus WOS CrossRef Unpaywall
2
TITLE: Intuitionistic nonstandard bounded modified realisability and functional interpretation  Full Text
AUTHORS: Dinis, B; Gaspar, J ;
PUBLISHED: 2018, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 169, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef: 4 Unpaywall
3
TITLE: Proof Without Words: Using Trapezoids to Compute Triangular Numbers
AUTHORS: Jaime Gaspar ;
PUBLISHED: 2018, SOURCE: Mathematics Magazine, VOLUME: 91, ISSUE: 3
INDEXED IN: Scopus CrossRef: 2 Unpaywall
4
TITLE: All triangles at once
AUTHORS: Gaspar, J ;
PUBLISHED: 2015, SOURCE: American Mathematical Monthly, VOLUME: 122, ISSUE: 10
INDEXED IN: Scopus CrossRef Unpaywall
5
TITLE: Nonstandardness and the bounded functional interpretation  Full Text
AUTHORS: Ferreira, F; Gaspar, J ;
PUBLISHED: 2015, SOURCE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 166, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef Unpaywall
6
TITLE: Copies of classical logic in intuitionistic logic
AUTHORS: Jaime Gaspar ;
PUBLISHED: 2014, SOURCE: Philosophia Scientiae, VOLUME: 18, ISSUE: 3
INDEXED IN: Scopus CrossRef Unpaywall
7
TITLE: Non-recursive Polynomial Formula for the Sum of the Powers of the Integers
AUTHORS: Jaime Gaspar ;
PUBLISHED: 2014, SOURCE: The American Mathematical Monthly, VOLUME: 121, ISSUE: 2
INDEXED IN: CrossRef: 1 Unpaywall
8
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 CrossRef: 2 Unpaywall
9
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 CrossRef: 2 Unpaywall
10
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 CrossRef: 3 Unpaywall

A place for researchers and their institutions

Useful Links

Get Help

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