Filter pairs: a new way of presenting logics (2018)
- Autores:
- Autor USP: MARIANO, HUGO LUIZ - IME
- Unidade: IME
- Assunto: LÓGICA MATEMÁTICA
- Idioma: Inglês
- Imprenta:
- Editora: Vichy University
- Local: Vichy
- Data de publicação: 2018
- Fonte:
- Título do periódico: Handbook of abstracts
- Nome do evento: World Congress and School on Universal Logic
-
ABNT
ARNDT, Peter et al. Filter pairs: a new way of presenting logics. 2018, Anais.. Vichy: Vichy University, 2018. Disponível em: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357. Acesso em: 25 abr. 2024. -
APA
Arndt, P., Jansana, R., Mariano, H. L., & Pinto, D. C. (2018). Filter pairs: a new way of presenting logics. In Handbook of abstracts. Vichy: Vichy University. Recuperado de https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357 -
NLM
Arndt P, Jansana R, Mariano HL, Pinto DC. Filter pairs: a new way of presenting logics [Internet]. Handbook of abstracts. 2018 ;[citado 2024 abr. 25 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357 -
Vancouver
Arndt P, Jansana R, Mariano HL, Pinto DC. Filter pairs: a new way of presenting logics [Internet]. Handbook of abstracts. 2018 ;[citado 2024 abr. 25 ] Available from: https://www.uni-log.org/handbook-unilog2018-first-draft.pdf#page=357 - 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]
- 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
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 | 2890888.pdf | Direct link |
Como citar
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
