Equality in linear logic (1996)
- Authors:
- USP affiliated authors: MIRAGLIA NETO, FRANCISCO - IME ; CONIGLIO, MARCELO ESTEBAN - IME
- Unidade: IME
- Subjects: LÓGICA MATEMÁTICA; ESTRUTURAS ORDENADAS; LÓGICA DE PRIMEIRA ORDEM
- Language: Inglês
- Imprenta:
- Source:
- Título: Logique et Analyse
- ISSN: 0024-5836
- Volume/Número/Paginação/Ano: v. 39, n. 153/154, p. 113-151, 1996
-
ABNT
CONIGLIO, Marcelo Esteban e MIRAGLIA NETO, Francisco. Equality in linear logic. Logique et Analyse, v. 39, n. 153/154, p. 113-151, 1996Tradução . . Disponível em: https://www.jstor.org/stable/44084560. Acesso em: 22 jan. 2026. -
APA
Coniglio, M. E., & Miraglia Neto, F. (1996). Equality in linear logic. Logique et Analyse, 39( 153/154), 113-151. Recuperado de https://www.jstor.org/stable/44084560 -
NLM
Coniglio ME, Miraglia Neto F. Equality in linear logic [Internet]. Logique et Analyse. 1996 ; 39( 153/154): 113-151.[citado 2026 jan. 22 ] Available from: https://www.jstor.org/stable/44084560 -
Vancouver
Coniglio ME, Miraglia Neto F. Equality in linear logic [Internet]. Logique et Analyse. 1996 ; 39( 153/154): 113-151.[citado 2026 jan. 22 ] Available from: https://www.jstor.org/stable/44084560 - A lógica dos feixes sobre quantais right-sided e idempotentes
- Geometric functors and quadratic forms over preordered von Neumann regular rings
- Real semigroups and rings
- On the preservation of elementary equivalence and embedding by bounded filtered powers and structures of stable continuous functions
- Modules in the category of sheaves over quantales
- On the preservation of elementary equivalence and embedding by filtered powers and structures of stable continuous functions
- Special groups and quadratic forms over rings with non zero-divisor coefficients
- An omitting types theorem for sheaves over topological spaces
- Faithfully quadratic rings - a summary of results
- Teorias categóricas
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
3188557.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
