Induced morphisms between Heyting-valued models (2022)
Alvim, José Goudet 
; Cahali, Arthur Francisco Schwerz ; Mariano, Hugo Luiz
Source: Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. Conference titles: Brazilian Logic Conference - EBL. Unidade: IME
Assunto: MATEMÁTICA APLICADA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALVIM, José Goudet e CAHALI, Arthur Francisco Schwerz e MARIANO, Hugo Luiz. Induced morphisms between Heyting-valued models. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. London: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://collegepublications.co.uk/ifcolog/?00053. Acesso em: 26 abr. 2026. , 2022APA
Alvim, J. G., Cahali, A. F. S., & Mariano, H. L. (2022). Induced morphisms between Heyting-valued models. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. London: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de https://collegepublications.co.uk/ifcolog/?00053NLM
Alvim JG, Cahali AFS, Mariano HL. Induced morphisms between Heyting-valued models [Internet]. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. 2022 ; 9( 1): 5-40.[citado 2026 abr. 26 ] Available from: https://collegepublications.co.uk/ifcolog/?00053Vancouver
Alvim JG, Cahali AFS, Mariano HL. Induced morphisms between Heyting-valued models [Internet]. Journal of Applied Logics - IfCoLog Journal of Logics and their Applications. 2022 ; 9( 1): 5-40.[citado 2026 abr. 26 ] Available from: https://collegepublications.co.uk/ifcolog/?00053
