Caro Hugo, caros colegas: Agradeço pela iniciativa de consultar a comunidade sobre os títulos disponíveis na lista da CAPES e pela preocupação com o que ainda está faltando.
Verifiquei que na lista da CAPES há 24 títulos nas áreas de lógica matemática, lógica filosófica e lógica aplicada à computação e engenharia (reproduzo a lista ao final desta mensagem-- se eu estiver errado, me corrijam pf). Certamente há muita coisa faltante. Gostaria de sugerir a inclusão dos seguintes títulos: Títulos relevantes ausentes (prioritários): The Review of Symbolic Logic – Cambridge University Press Studia Logica – Springer Journal of Automated Reasoning – Springer Notre Dame Journal of Formal Logic – Duke University Press Logical Methods in Computer Science – Open Access (possível acompanhamento institucional) Philosophia Mathematica – Oxford University Press Mathematical Structures in Computer Science – Cambridge University Press Synthese – Springer Erkenntnis – Springer Australasian Journal of Logic – Open Access Logic and Logical Philosophy – Nicolaus Copernicus University Logica Universalis – Springer Theoretical Computer Science – Elsevier (especialmente as seções voltadas à lógica em ciência da computação) ACM SIGLOG News / SIGLOG Quarterly – Association for Computing Machinery Títulos complementares por subárea: História da lógica e tradição clássica ou medieval: 15. Vivarium – Brill 16. Documenti e Studi Sulla Tradizione Filosofica Medievale – SISMEL / Edizioni del Galluzzo 17. Archiv für Geschichte der Philosophie – De Gruyter 18. British Journal for the History of Philosophy – Taylor & Francis Lógica e linguagem/ semântica formal: 19. Linguistics and Philosophy – Springer 20. Topoi – Springer Argumentação, lógica informal e retórica: 21. Argumentation – Springer 22. Philosophy and Rhetoric – Penn State University Press 23. Cogency – Universidad Diego Portales (acesso aberto) Lógica filosófica 24. Dialectica – Wiley A seguir, reproduzo os 24 títulos que verifiquei como disponíveis ( na não muito amigável) lista da CAPES: Logic (???) Informal Logic Argumentum: Journal of the Seminar of Discursive Logic, Argumentation Theory and Rhetoric Logic Journal of the IGPL Bulletin of the Section of Logic Modern Logic – Project Euclid Baltic International Yearbook of Cognition, Logic and Communication – DOAJ Algebra and Logic Journal of Logic and Analysis ACM Transactions on Computational Logic Journal of Mathematical Logic Studies in Logic, Grammar and Rhetoric – DOAJ History and Philosophy of Logic – Taylor & Francis Bulletin of Symbolic Logic Journal of Philosophical Logic – Springer Annals of Pure and Applied Logic Journal of Logic and Computation – Oxford University Press Journal of Logic, Language and Information – Springer Archive for Mathematical Logic Mathematical Logic Quarterly – Wiley Logic in Computer Science (LICS) Multiple-Valued Logic, International Symposium on – IEEE Xplore Field Programmable Logic and Applications The Journal of Symbolic Logic – Association for Symbolic Logic Abraços da Polonia, Walter Em sáb., 11 de out. de 2025 às 18:28, Hugo Luiz Mariano <[email protected]> escreveu: > > Car@s colegas, > > Gostaríamos de solicitar que participem, através do preenchimento deste > google forms, da consulta sobre Periódicos de Lógica que você gostaria de ter > acesso, mas que no momento não estão disponíveis através do Portal de > Periódicos da Capes: https://www.periodicos.capes.gov.br/ > > Atenciosamente, > Hugo Mariano, em nome da diretoria da SBL > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica > <[email protected]> > --- > Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um > e-mail para [email protected]. > Para ver esta conversa, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOf4Pqhg8JqUg%2BF8snh6niAtpTqkFO2j%3Dz4G6OEb23AVF24t3Q%40mail.gmail.com. -- ======================== Walter Carnielli CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil AI2- Advanced Institute for Artificial Intelligence Blog https://waltercarnielli.com/ https://www.name-coach.com/walter-carnielli -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLfOGXoBSsX9goiEVEFO7_2WD7YmQH7JVHGbhXzJk%3D-m-g%40mail.gmail.com.
