A festschrift for Francisco Miraglia. [Foreword] (2016)
- Authors:
- Autor USP: MARIANO, HUGO LUIZ - IME
- Unidade: IME
- Assunto: LÓGICA
- Language: Inglês
- Imprenta:
- Source:
- Título do periódico: South American Journal of Logic
- ISSN: 2446-6719
- Volume/Número/Paginação/Ano: v. 2, n. 2, p. 159–163, 2016
- Conference titles: Workshop Logic and Applications in honor to Francisco Miraglia by the occasion of his 70th birthday
-
ABNT
CONIGLIO, Marcelo Esteban e MARIANO, Hugo Luiz e LOPES, Vinicius Cifú. A festschrift for Francisco Miraglia. [Foreword]. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf. Acesso em: 24 abr. 2024. , 2016 -
APA
Coniglio, M. E., Mariano, H. L., & Lopes, V. C. (2016). A festschrift for Francisco Miraglia. [Foreword]. South American Journal of Logic. Campinas: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf -
NLM
Coniglio ME, Mariano HL, Lopes VC. A festschrift for Francisco Miraglia. [Foreword] [Internet]. South American Journal of Logic. 2016 ; 2( 2): 159–163.[citado 2024 abr. 24 ] Available from: http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf -
Vancouver
Coniglio ME, Mariano HL, Lopes VC. A festschrift for Francisco Miraglia. [Foreword] [Internet]. South American Journal of Logic. 2016 ; 2( 2): 159–163.[citado 2024 abr. 24 ] Available from: http://www.sa-logic.org/sajl-v2-i2/0F-Forward-Miraglia-SAJL.pdf - Categorias modeláveis
- Representation theory of logics: a categorial approach
- Realizing profinite reduced special groups
- Algebraizable logics and a functorial encoding of its morphisms
- Horn filter pairs and Craig interpolation property
- Model theory inspired by Grothendieckian algebraic geometry: a survey of sheaf representations for categorical model theory
- A global approach to AECs
- Towards a good notion of categories of logics
- κ-filter pairs and non-finitary logics
- Remarks on propositional logics and the categorial relationship between institutions and Π-institutions
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 | 2966226.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
