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: 04 out. 2024. -
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 2024 out. 04 ] 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 2024 out. 04 ] 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
- Special groups: boolean-theoretic methods in the theory of quadratic forms
- Lattice-ordered reduced special groups
- Non-commutative topology and quantales
- Elementary properties of the Boolean hull and reduced quotient functors
- Quadratic form theory over preordered von Neumann-regular rings
- Definitions: the primitive concept of logics or the Leśniewski–Tarski legacy
- Orders and relative Pythagorean closures
- Algebraic k-theory and rings with many units
- On rings of fractions of reduced f-rings by non zero-divisors
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
