Índice temático
-
[Logica-l] "Can the Collatz conjecture be proven, or not?"
Eduardo Ochs
-
[Logica-l] MESTRADO e DOUTORADO em COMPUTAÇÃO na UFF - 2024.1
Bruno Lopes
-
[Logica-l] Um argumento de ponto fixo em Lógica: o Teorema da Reflexão de Lévy
'samuel' via LOGICA-L
-
[Logica-l] Fwd: CfParticipation: Announcing a new monthly online seminar on the topic of first-order modal logic, starting 6 November 2023
Joao Marcos
-
[Logica-l] Dov Gabbay continua alargando os horizontes da Lógica Formal
Marcelo Finger
-
[Logica-l] PhD Studentship in Proof-theoretic Semantics at UCL
Elaine Pimentel
-
[Logica-l] Fwd: PhD position Toruń
Joao Marcos
-
[Logica-l] curiosidades (equivocadas) sobre Russell
Joao Marcos
-
[Logica-l] What came first, math or computing?
Joao Marcos
-
[Logica-l] Multiple Faculty Positions in Computer Science, Computational Biology, and Human-Computer Interaction
Giselle Reis
-
[Logica-l] Fwd: Call for Papers: Advances in Non-Classical Mathematics (Special Issue of the Logic Journal of the IGPL)
Joao Marcos
-
[Logica-l] Why doesn't Candomblé have a Problem of Evil? The Logic and Religion Webinar
Assis
-
[Logica-l] A noção de antilogia
jean-yves beziau
-
[Logica-l] LUW October 18 / A Study of the Metatheory of Assertoric Syllogistic
jean-yves beziau
-
[Logica-l] Fwd: CFP extended - Special Issue on Non-Classical Reasoning for Contemporary AI Applications
Joao Marcos
-
[Logica-l] Fwd: Postdoctoral fellowship at Stockholm University
Joao Marcos
-
[Logica-l] Fwd: [LOGIC] CfParticipation: Dov Gabbay Prize 2023 - Online Ceremony, October 25
Elaine Pimentel
-
[Logica-l] Códigos de cobertura: um tópico antigo, ainda muito quente
Walter Carnielli
-
[Logica-l] Fwd: Call for Applications: 2 PhD Positions
Elaine Pimentel
-
[Logica-l] [SBFA] II EBFA
Marcos Silva
-
[Logica-l] já peço desculpas...
Jorge Petrucio Viana
-
[Logica-l] Mesa de Filosofia da lógica: Consequência lógica
Joao Marcos
-
[Logica-l] Um framework lógico para raciocínio sobre sistemas críticos, Bruno Lopes (UFF)
Adolfo Neto
-
[Logica-l] Des manuscrits inédits du génie des maths Alexandre Grothendieck à la BnF
Ruy Jose Guerra Barretto de Queiroz
-
[Logica-l] Carnap’s Problem for Intuitionistic Propositional Logic
jean-yves beziau
-
[Logica-l] ETMF 2023 (co-located with SBMF 2023) - Call for participation
Haniel Barbosa
-
[Logica-l] What’s a Qubit? 3 Ways Scientists Build Quantum Computers - Scientific American
Ruy Jose Guerra Barretto de Queiroz
-
[Logica-l] Ciclo de palestras, SBFA, Feyerabend
Marcos Silva
-
[Logica-l] [Convite | Registro] Workshop "New Perspectives on Anomalies in the Sciences"
Maria Martinez-Ordaz
-
[Logica-l] Automated Reasoning Call for Proposals — Fall 2023
Adolfo Neto
-
[Logica-l] A Home for Proof-Theoretic Semanticists
Joao Marcos
-
[Logica-l] SALOME 1 - The 1st South American Logic Meeting - Extended Deadline: October 4th
jean-yves beziau
-
[Logica-l] Logica Universalis - ToC Alert - Volume 17, Issue 3 - 2023
jean-yves beziau
-
[Logica-l] Fwd: Call for a Researcher Position at the Slovak Academy of Sciences
Joao Marcos
-
[Logica-l] CiE 2024: FIRST CALL FOR PAPERS
Elaine Pimentel
-
[Logica-l] OFF-topic: "Style, Method and Philosophy in Wittgenstein"
Cassiano Terra Rodrigues
-
[Logica-l] OFF-TOPIC : Chamada de artigos
Cassiano Terra Rodrigues
-
[Logica-l] 30th WoLLIC 2024 - 1st Call for Papers
Ruy Jose Guerra Barretto de Queiroz
-
[Logica-l] Lógica Carioca 21-09-2023 - Maria Martinez + Michael Burton
jean-yves beziau
-
[Logica-l] Fwd: [LOGIC] CfA: PostDoc 2y/ defeasible reasoning/ deontic logic, Bochum (Germany), deadline: 9 October 2023
Camilo Thorne
-
[Logica-l] Fwd: [LOGIC] CfA: 3 postdocs in mathematics (including logic), Turin (Italy), Deadline: 29 September 2023 - 13:00 CEST
Camilo Thorne
-
[Logica-l] LUW Sept 20, 2023 - On Consequence and Rejection as Operators by Alexei Muravitsky
jean-yves beziau
-
[Logica-l] [OFF] Fwd: Uma Análise Comparativa da Ciência Aberta, do Acesso Aberto e da Circulação de Conhecimento na América Latina e na África
Joao Marcos
-
[Logica-l] Fwd: CfA: 2 Tenure track positions available to logicians (2nd call, deadline change), Prague (Czech Republic), Deadline: 20 November 2023
Joao Marcos
-
[Logica-l] Fwd: [LOGIC] CfA: Expressions of interests for two postdoctoral positions in Logic and Computer Science , Cagliari & Urbino (Italy), deadline 22 October 2023
Camilo Thorne
-
[Logica-l] Fwd: [LOGIC] CfA: Expression of interest for up to 6 postdocs in Logic at the Logic Uncertainty Computation and Information (LUCI) Lab, Milan (Italy)
Camilo Thorne
-
[Logica-l] 94 anos de Newton da Costa
jean-yves beziau
-
[Logica-l] Fwd: Expressions of interests for two postdoctoral positions in Logic and Computer Science (Cagliari & Urbino, Italy)
Joao Marcos
-
[Logica-l] Faculty positions at Carnegie Mellon University in Qatar
Giselle Reis
-
[Logica-l] a serious disease
Jorge Petrucio Viana
-
[Logica-l] Fwd: Postdoc at the University of Cagliari
Joao Marcos
-
[Logica-l] Fwd: Expression of interest for several postdoctoral positions in Logic
Joao Marcos
-
[Logica-l] SALOME 1 - Cusco, Peru, January 12-15, 2024
jean-yves beziau
-
[Logica-l] Livro em homenagem à obra de Décio Krause
Raoni Wohnrath Arroyo
-
[Logica-l] Alan Turing and the Power of Negative Thinking
Joao Marcos
-
[Logica-l] Why Mathematical Proof Is a Social Compact
Ruy Jose Guerra Barretto de Queiroz
-
[Logica-l] Vitor Greati @ VCLA International Student Awards 2023
Joao Marcos
-
[Logica-l] Fwd: Call for Participation: ANU Logic Summer School, Dec 4 -- 15, 2023
Joao Marcos
-
[Logica-l] Józef Maria Bocheński: celebration of his birthday at the Logica Universalis Webinar, August 30 at 4pm CET
jean-yves beziau
-
[Logica-l] Nova live sobre Conjuntos e Matemática
'samuel' via LOGICA-L
-
[Logica-l] Propositions as types: explained (and debunked)
Joao Marcos
-
[Logica-l] Fwd: [SBL-Sócios] Fwd: CHAMADO para a luta pela ciência e pela democracia
Hugo Luiz Mariano
-
[Logica-l] Mensagem inicial da diretoria eleita da SBL (7/2023-6/2025)
Hugo Luiz Mariano
-
[Logica-l] An Old Conjecture Falls, Making Spheres a Lot More Complicated
Ruy Jose Guerra Barretto de Queiroz
-
[Logica-l] Meta-Complexity Theory
Joao Marcos
-
[Logica-l] LUW August 23, Chai Wah Wu. On rearrangement inequalities for triangular norms and co-norms in multi-valued logic
jean-yves beziau
-
[Logica-l] Fwd: [members-philmathpractice] Call for Papers: APMP 2024 in Pavia, Italy, June 18-21, 2024
Gisele Secco
-
[Logica-l] Please, check my P=NP proof for errors
Victor Porton
-
[Logica-l] [OFF TOPIC} -Símbolos lógicos no LibreOffice
Walter Carnielli
-
[Logica-l] Fwd: ACM SIGLOG Research Highlights call for nominations
Joao Marcos
-
[Logica-l] CONTRADICTION IN ISLAMIC PHILOSOPHY AND MYSTICISM / LARAWebinar August 17 at 4pm CET
jean-yves beziau
-
[Logica-l] [Final reminder] CfA: New Perspectives on Anomalies in the Sciences
Maria Martinez-Ordaz
-
[Logica-l] Fwd: [Agda] Postdoc position, Logic and Semantics Group in Tallinn
E. Rivas
-
[Logica-l] [CfA Deadline approaching] New Perspectives on Anomalies in the Sciences
Maria Martinez-Ordaz
-
[Logica-l] Ferramentas de Ensino: NADIA e ANITA
Davi Romero
-
[Logica-l] academic publishing
Valeria de Paiva
-
[Logica-l] (SILFS-L) CfP - Philosophy of Mathematics: Models, Methods, and Applications - 3rd FilMat Graduate Conference - Rome, January 11-12, 2024
Walter Carnielli
-
Re: [Logica-l] Coluna sobre IA no Rádio
Walter Carnielli
-
[Logica-l] Lógica em tempos de guerra --- para reflexão
Joao Marcos
-
[Logica-l] CFP: WEIT 2023
Joao Marcos
-
[Logica-l] Concurso para Professor na UFLA
Newton Peron
-
[Logica-l] SALOME 1
jean-yves beziau
-
[Logica-l] Fwd: Novo Número da Revista Analytica - Volume 25, número 2: 100 ANOS DO TRACTATUS LOGICO-PHILOSOPHICUS
Marcos Silva
-
[Logica-l] Fwd: Tenure track positions in Prague (available to logicians)
Joao Marcos
-
[Logica-l] How the Four-Color Map Problem Was Finally Solved
Ruy Jose Guerra Barretto de Queiroz
-
[Logica-l] 34o colóquio brasileiro de matemática
Renata de Freitas
-
[Logica-l] [OFF] The true cost of science’s language barrier for non-native English speakers
Joao Marcos
-
[Logica-l] SBMF 2023 - Final Call for Papers with *** Deadline Extensions ***
Haniel Barbosa
-
[Logica-l] Homenagem da SBPC a Newton da Costa - 25/07/2023 18h30
Cesar Serbena
-
[Logica-l] ainda sobre o tópico do gênero em Lógica
Joao Marcos
-
[Logica-l] Trends in Logic conference- Torun,2023
Walter Carnielli
-
Re: [Logica-l] Trends in Logic conference- Torun,2023
Gisele Secco
-
Re: [Logica-l] Trends in Logic conference- Torun,2023
Valeria de Paiva
-
Re: [Logica-l] Trends in Logic conference- Torun,2023
Elaine Pimentel
-
Re: [Logica-l] Trends in Logic conference- Torun,2023
Hermógenes Oliveira
-
Re: [Logica-l] Trends in Logic conference- Torun,2023
Valeria de Paiva
-
Re: [Logica-l] Trends in Logic conference- Torun,2023
Jorge Petrucio Viana
-
Re: [Logica-l] Trends in Logic conference- Torun,2023
Walter Carnielli
-
Re: [Logica-l] Trends in Logic conference- Torun,2023
Joao Marcos
-
Re: [Logica-l] Trends in Logic conference- Torun,2023
Valeria de Paiva
-
Re: [Logica-l] Trends in Logic conference- Torun,2023
Jorge Petrucio Viana
-
Re: [Logica-l] Trends in Logic conference- Torun,2023
Gisele Secco
-
Re: [Logica-l] Trends in Logic conference- Torun,2023
Walter Carnielli
-
Re: [Logica-l] Trends in Logic conference- Torun,2023
Maria Martinez-Ordaz
-
Re: [Logica-l] Trends in Logic conference- Torun,2023
Gisele Secco
-
Re: [Logica-l] Trends in Logic conference- Torun,2023
Joao Marcos
-
Re: [Logica-l] Trends in Logic conference- Torun,2023
Gisele Secco
-
Re: [Logica-l] Trends in Logic conference- Torun,2023
'Ciro Russo' via LOGICA-L
-
Re: [Logica-l] Trends in Logic conference- Torun, 2023
Hermógenes Oliveira
-
Re: [Logica-l] Trends in Logic conference- Torun, 2023
Marcos Silva
-
Re: [Logica-l] Trends in Logic conference- Torun, 2023
Valeria de Paiva
-
Re: [Logica-l] Trends in Logic conference- Torun, 2023
Mayk Alves de Andrade
-
[Logica-l] 286386577668298411128469151667598498812366 ...
Joao Marcos
-
[Logica-l] 2nd CFP 1st Workshop on Contradictory Logics, December 6-8, 2023, Ruhr University Bochum + Additional Information
'Daniel Skurt' via LOGICA-L
-
[Logica-l] LUW session, July 19, G.Shtakser, Odessa, Epistemic Logics with Quantification Over Epistemic Operators
jean-yves beziau
-
[Logica-l] Fwd: [TYPES/announce] Undone Computer Science — Call for contributions
Elaine Pimentel
-
[Logica-l] An Infinite Dilemma of Bliss and Suffering
Joao Marcos
-
[Logica-l] "INTELIGÊNCIA ARTIFICIAL: TUDO O QUE VOCÊ PRECISA SABER - MIGUEL NICOLELIS - Programa 20 Minutos" no YouTube
Walter Carnielli
-
[Logica-l] "How to Build a Big Prime Number"
Ruy Jose Guerra Barretto de Queiroz
-
[Logica-l] SBMF 2023 - Second Call for Papers
Haniel Barbosa
-
[Logica-l] pets desculpas por possível repetição de informação
Jorge Petrucio Viana
-
[Logica-l] Defesa de tese de doutorado
Mario Roberto Folhadela Benevides
-
[Logica-l] LUW July 12 - Rooted Hypersequent Calculus for Modal Logic S5 by Hamzeh Mohammad
jean-yves beziau
-
[Logica-l] Logic Courseware, Surveyed
Elaine Pimentel
-
[Logica-l] LOGIC JOURNALS - SCOPUS 2-YEAR IMPACT FACTOR – JULY 2023
jean-yves beziau
-
[Logica-l] v. 47, n. 2 (2020) Número Especial sobre Filosofia da Lógica
Marcos Silva