ReP USP - Resultado da busca

Artigo de periodico
Paraconsistent models of Zermelo–Fraenkel set theory (2026)
Figallo-Orellano, Aldo ; Slagter, Juan Sebastián
Source: Notre Dame Journal of Formal Logic. Unidade: IME
Assunto: LÓGICA PARACONSISTENTE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FIGALLO-ORELLANO, Aldo e SLAGTER, Juan Sebastián. Paraconsistent models of Zermelo–Fraenkel set theory. Notre Dame Journal of Formal Logic, v. 67, n. 1, p. 69-86, 2026Tradução . . Disponível em: https://doi.org/10.1215/00294527-2025-0022. Acesso em: 28 abr. 2026.
APA
Figallo-Orellano, A., & Slagter, J. S. (2026). Paraconsistent models of Zermelo–Fraenkel set theory. Notre Dame Journal of Formal Logic, 67( 1), 69-86. doi:10.1215/00294527-2025-0022
NLM
Figallo-Orellano A, Slagter JS. Paraconsistent models of Zermelo–Fraenkel set theory [Internet]. Notre Dame Journal of Formal Logic. 2026 ; 67( 1): 69-86.[citado 2026 abr. 28 ] Available from: https://doi.org/10.1215/00294527-2025-0022
Vancouver
Figallo-Orellano A, Slagter JS. Paraconsistent models of Zermelo–Fraenkel set theory [Internet]. Notre Dame Journal of Formal Logic. 2026 ; 67( 1): 69-86.[citado 2026 abr. 28 ] Available from: https://doi.org/10.1215/00294527-2025-0022
Artigo de periodico
Combining temporal logic systems (1996)
Finger, Marcelo ; Gabbay, Dov
Source: Notre Dame Journal of Formal Logic. Unidade: IME
Assunto: LÓGICA MODAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e GABBAY, Dov. Combining temporal logic systems. Notre Dame Journal of Formal Logic, v. 37, n. 2, p. 204-232, 1996Tradução . . Disponível em: https://doi.org/10.1305/ndjfl/1040046087. Acesso em: 28 abr. 2026.
APA
Finger, M., & Gabbay, D. (1996). Combining temporal logic systems. Notre Dame Journal of Formal Logic, 37( 2), 204-232. doi:10.1305/ndjfl/1040046087
NLM
Finger M, Gabbay D. Combining temporal logic systems [Internet]. Notre Dame Journal of Formal Logic. 1996 ; 37( 2): 204-232.[citado 2026 abr. 28 ] Available from: https://doi.org/10.1305/ndjfl/1040046087
Vancouver
Finger M, Gabbay D. Combining temporal logic systems [Internet]. Notre Dame Journal of Formal Logic. 1996 ; 37( 2): 204-232.[citado 2026 abr. 28 ] Available from: https://doi.org/10.1305/ndjfl/1040046087
Artigo de periodico
A semantical analysis of the calculi Cn (1977)
Costa, Newton Carneiro Affonso da; Alves, Elias Humberto
Source: Notre Dame Journal of Formal Logic. Unidade: RUSP
Subjects: LÓGICA, LÓGICA FORMAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COSTA, Newton Carneiro Affonso da e ALVES, Elias Humberto. A semantical analysis of the calculi Cn. Notre Dame Journal of Formal Logic, v. 18, n. 4, p. 621-630, 1977Tradução . . Disponível em: https://doi-org.ez67.periodicos.capes.gov.br/10.1305/ndjfl/1093888132. Acesso em: 28 abr. 2026.
APA
Costa, N. C. A. da, & Alves, E. H. (1977). A semantical analysis of the calculi Cn. Notre Dame Journal of Formal Logic, 18( 4), 621-630. doi:10.1305/ndjfl/1093888132
NLM
Costa NCA da, Alves EH. A semantical analysis of the calculi Cn [Internet]. Notre Dame Journal of Formal Logic. 1977 ; 18( 4): 621-630.[citado 2026 abr. 28 ] Available from: https://doi-org.ez67.periodicos.capes.gov.br/10.1305/ndjfl/1093888132
Vancouver
Costa NCA da, Alves EH. A semantical analysis of the calculi Cn [Internet]. Notre Dame Journal of Formal Logic. 1977 ; 18( 4): 621-630.[citado 2026 abr. 28 ] Available from: https://doi-org.ez67.periodicos.capes.gov.br/10.1305/ndjfl/1093888132

USP Schools

ReP

Filtros

Authors