sequiturquodlibet

a logician (and not)

[sequiturquodlibet @antitheorem]

This is finally coming fresh from the oven, open access:

"Adding an implication to logics of perfect paradefinite algebras"
Mathematical Structures in Computer Science , Volume 34(10): LSFA 2021 and LSFA 2022 , November 2024 , pp. 1138 - 1183
DOI: https://t.co/7IBghh0y1f

[sequiturquodlibet @antitheorem]

@rmendonca1988 Eu apostaria que ela ainda não está "pronta" pra isso.
https://t.co/Y42zlhlhEP

[sequiturquodlibet @antitheorem]

@blopesvieira @mezabarbarm Com isso, os Departamentos de Matemática da UFES e a UFF já estão dando um show no da UFSC.

[sequiturquodlibet @antitheorem]

@mezabarbarm Um atual orientando meu que é aluno do Departamento de Matemática da UFSC foi *proibido* pelo Colegiado da Matemática de escrever seu TCC em inglês. Mais ainda, depois do pedido dele o Colegiado decidiu mudar o regimento para cristalizar a proibição.

[arXiv math.LO Logic @mathLOb]

Jim de Groot, et al.: Intrinsic and relative characterization results for logics wit... https://t.co/bffIlg3uyB https://t.co/yWcoodB4jk https://t.co/r8tFx7U31o

[sequiturquodlibet @antitheorem]

@Wisdom_HQ So it goes

[sequiturquodlibet @antitheorem]

Applications (deadline: end of December) of foreign students are welcome ---particularly, those interested in Logic--- to a sandwich doctoral grant (6 to 10 months) in Florianópolis: https://t.co/TNBFoQdQYs
Eligible nationalities may be checked here: https://t.co/VQo3oi80BA

[sequiturquodlibet @antitheorem]

@MxLogica Pongo mis anteojos dualizantes y veo dulce-y-truco. 🎃

[sequiturquodlibet @antitheorem]

@MxLogica ¡Qué buena noticia!
¡Y encima, un trabajo con un tema tan relevante!

¡Congratulaciones, María!!

[sequiturquodlibet @antitheorem]

@UNAM_IIFs https://t.co/aOCyJrf9Ad

[I.I.Filosóficas • UNAM @UNAM_IIFs]

Seminario de investigadores
[email protected]

Ago 27, 2025 • 12H, Sala Salmerón @UNAM_IIFs

João Marcos
[Universidad Federal de Santa Catarina, Brasil]
"¿Qué diablos es una lógica subestructural?"

Modera: Christian Andrés Romero Rodríguez

[sequiturquodlibet @antitheorem]

@getjonwithit I wonder whether this (hermetic?) presentational style is experiencing a resurgence with the rise of proof assistants, whose formal theories rarely prioritize the communication of mathematical intuition. In this context, is communication itself confined to peripheral commentary?

[Jonathan Gorard @getjonwithit]

The desiccated "Theorem, Lemma, Proof, Corollary,..." presentational style is staggeringly counterproductive, if one's objective is actually communicating the underlying mathematical intuitions and thought processes behind a result. In reality, the process is more like... (1/4)

[PHD Comics @PHDcomics]

A guide to academic denominations

[sequiturquodlibet @antitheorem]

@BALogicGroup Do conquer it! 🗡️

[sequiturquodlibet @antitheorem]

@MxLogica ¡Que maravilla!
¡Secundo las felicitaciones, María!

[sequiturquodlibet @antitheorem]

@rmendonca1988 Excelente palestra, altamente recomendável! 👍

[sequiturquodlibet @antitheorem]

@rmendonca1988 @acarajando Este, Bruno?
https://t.co/Uaz3Z4SlQ2

[sequiturquodlibet @antitheorem]

@rmendonca1988 @mezabarbarm Excelente ideia!

[sequiturquodlibet @antitheorem]

@rmendonca1988 @mezabarbarm Boa, Bruno. Talvez valha a pena, de todo modo, olhar para LFIs "mínimas" com caráter modal, e com operadores de consistência melhor comportados! Fico à disposição para conversar sobre este interessante assunto, que parece envolver subclassicidade de uma forma mais geral. 👍