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: 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: 27 dez. 2025. -
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 2025 dez. 27 ] 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 2025 dez. 27 ] 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
- Sheaves on quantales and their truth values
- On categories of quantale valued sets
- Categorical constructions of sets valued on semicartesian and involutive quantales
- Categories of commutative semicartesian quantales valued sets
- Quantale valued sets: categorical constructions and properties
- On sheaves on semicartesian quantales and their truth values
- A global approach to AECs
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
