Towards a good notion of categories of logics (2011)
- Authors:
- USP affiliated authors: MARIANO, HUGO LUIZ - IME ; MENDES, CAIO DE ANDRADE - IME
- Unidade: IME
- Assunto: TEORIA DAS CATEGORIAS
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Publisher: Laboratoire d’Informatique Fondamentale de Marseille - LIF-UMR
- Publisher place: Marseille
- Date published: 2011
- Source:
- Título do periódico: Book of abstracts
- Conference titles: International Conference on Topology, Algebra, and Categories in Logic - TACL
-
ABNT
MARIANO, Hugo Luiz e MENDES, Caio de Andrade. Towards a good notion of categories of logics. 2011, Anais.. Marseille: Laboratoire d’Informatique Fondamentale de Marseille - LIF-UMR, 2011. Disponível em: https://pageperso.lis-lab.fr/~luigi.santocanale/tacl2011/tacl2011_book_of_abstracts.pdf. Acesso em: 23 maio 2024. -
APA
Mariano, H. L., & Mendes, C. de A. (2011). Towards a good notion of categories of logics. In Book of abstracts. Marseille: Laboratoire d’Informatique Fondamentale de Marseille - LIF-UMR. Recuperado de https://pageperso.lis-lab.fr/~luigi.santocanale/tacl2011/tacl2011_book_of_abstracts.pdf -
NLM
Mariano HL, Mendes C de A. Towards a good notion of categories of logics [Internet]. Book of abstracts. 2011 ;[citado 2024 maio 23 ] Available from: https://pageperso.lis-lab.fr/~luigi.santocanale/tacl2011/tacl2011_book_of_abstracts.pdf -
Vancouver
Mariano HL, Mendes C de A. Towards a good notion of categories of logics [Internet]. Book of abstracts. 2011 ;[citado 2024 maio 23 ] Available from: https://pageperso.lis-lab.fr/~luigi.santocanale/tacl2011/tacl2011_book_of_abstracts.pdf - Analyzing categories of signatures
- Analysing categories of signatures
- Algebraizing higher-order logics
- On categories of quantale valued sets
- On sheaves on semicartesian quantales and their truth values
- Categorias modeláveis
- Representation theory of logics: a categorial approach
- Realizing profinite reduced special groups
- Algebraizable logics and a functorial encoding of its morphisms
- A festschrift for Francisco Miraglia. [Foreword]
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
