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:
- Publisher: Université Paris 7
- Publisher place: Paris
- Date published: 1996
- Source:
- Título: Proceedings
- Conference titles: Séminaire de structures algébriques ordonnées : 1994-1995
-
ABNT
CONIGLIO, Marcelo Esteban e MIRAGLIA NETO, Francisco. Equality in linear logic. 1996, Anais.. Paris: Université Paris 7, 1996. Disponível em: https://repositorio.usp.br/directbitstream/51d5abaf-af02-406a-bb26-71939feea5a8/3199601.pdf. Acesso em: 23 jan. 2026. -
APA
Coniglio, M. E., & Miraglia Neto, F. (1996). Equality in linear logic. In Proceedings. Paris: Université Paris 7. Recuperado de https://repositorio.usp.br/directbitstream/51d5abaf-af02-406a-bb26-71939feea5a8/3199601.pdf -
NLM
Coniglio ME, Miraglia Neto F. Equality in linear logic [Internet]. Proceedings. 1996 ;[citado 2026 jan. 23 ] Available from: https://repositorio.usp.br/directbitstream/51d5abaf-af02-406a-bb26-71939feea5a8/3199601.pdf -
Vancouver
Coniglio ME, Miraglia Neto F. Equality in linear logic [Internet]. Proceedings. 1996 ;[citado 2026 jan. 23 ] Available from: https://repositorio.usp.br/directbitstream/51d5abaf-af02-406a-bb26-71939feea5a8/3199601.pdf - 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 | |
|---|---|---|---|
 |
3199601.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
