Jaime da Gama Gaspar


AuthID: R-00H-T0S

Publicações Confirmadas: 10



1
TÍTULO: Hardwiring truth in functional interpretations
AUTORES: Dinis, Bruno; Gaspar, Jaime ;
PUBLICAÇÃO: 2023, FONTE: PORTUGALIAE MATHEMATICA, VOLUME: 80, NÚMERO: 1-2
INDEXADO EM: Scopus WOS CrossRef Unpaywall
2
TÍTULO: Intuitionistic nonstandard bounded modified realisability and functional interpretation  Full Text
AUTORES: Dinis, B; Gaspar, J ;
PUBLICAÇÃO: 2018, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 169, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef: 4 Unpaywall
3
TÍTULO: Proof Without Words: Using Trapezoids to Compute Triangular Numbers
AUTORES: Jaime Gaspar ;
PUBLICAÇÃO: 2018, FONTE: Mathematics Magazine, VOLUME: 91, NÚMERO: 3
INDEXADO EM: Scopus CrossRef: 2 Unpaywall
4
TÍTULO: All triangles at once
AUTORES: Gaspar, J ;
PUBLICAÇÃO: 2015, FONTE: American Mathematical Monthly, VOLUME: 122, NÚMERO: 10
INDEXADO EM: Scopus CrossRef Unpaywall
5
TÍTULO: Nonstandardness and the bounded functional interpretation  Full Text
AUTORES: Ferreira, F; Gaspar, J ;
PUBLICAÇÃO: 2015, FONTE: ANNALS OF PURE AND APPLIED LOGIC, VOLUME: 166, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef Unpaywall
6
TÍTULO: Copies of classical logic in intuitionistic logic
AUTORES: Jaime Gaspar ;
PUBLICAÇÃO: 2014, FONTE: Philosophia Scientiae, VOLUME: 18, NÚMERO: 3
INDEXADO EM: Scopus CrossRef Unpaywall
7
TÍTULO: Non-recursive Polynomial Formula for the Sum of the Powers of the Integers
AUTORES: Jaime Gaspar ;
PUBLICAÇÃO: 2014, FONTE: The American Mathematical Monthly, VOLUME: 121, NÚMERO: 2
INDEXADO EM: CrossRef: 1 Unpaywall
8
TÍTULO: Negative Translations Not Intuitionistically Equivalent to the Usual Ones  Full Text
AUTORES: Gaspar, J ;
PUBLICAÇÃO: 2013, FONTE: STUDIA LOGICA, VOLUME: 101, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef: 2 Unpaywall
9
TÍTULO: Proof interpretations with truth  Full Text
AUTORES: Gaspar, J ; Oliva, P;
PUBLICAÇÃO: 2010, FONTE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 56, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef: 2 Unpaywall
10
TÍTULO: Factorization of the Shoenfield-like Bounded Functional Interpretation
AUTORES: Gaspar, J ;
PUBLICAÇÃO: 2009, FONTE: NOTRE DAME JOURNAL OF FORMAL LOGIC, VOLUME: 50, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef: 3 Unpaywall

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service