June 2022 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Thu Jun 2 02:40:07 EDT 2022
Ending: Wed Jun 29 11:05:03 EDT 2022
Messages: 87

• K-theory and sets   Ignacio Añón
• Explosion and Cut Required   Joseph Vidal-Rosset
• CfPart & Poster Presentation: Bias, Risk and Opacity in AI, 17/09 UNIMI   gprimiero at libero.it
• On the fully rigorous formalization of deductive reasoning in mathematics   Vaughan Pratt
• Paraconsistent Newsletter Spring Fall 2022   jean-yves beziau
• 935: Stable Maximality/Tangible Incompleteness/1   Harvey Friedman
• Shannon's information theory and foundations of mathematics   José Manuel Rodríguez Caballero
• K-theory and sets   Monroe Eskew
• K-theory and sets   martdowd at aol.com
• Crossley Logic Colloquium (14-15 June 2022, Virtual)   Guillermo Badia
• Non-foundationalist foundational thinking   Anthony Coulter
• On the fully rigorous formalization of deductive reasoning in mathematics   Tennant, Neil
• K-theory and sets   martdowd at aol.com
• 936: Stable Maximality/Tangible Incompleteness/2   Harvey Friedman
• Non-foundationalist foundational thinking   Anthony Coulter
• Explosion and Cut Required   Joseph Vidal-Rosset
• Explosion and Cut Required   Tennant, Neil
• Explosion and Cut Required   Joseph Vidal-Rosset
• Explosion and Cut Required   Richard Kimberly Heck
• Explosion and Cut Required   Tennant, Neil
• K-theory and sets   Ignacio Añón
• Non-foundationalist foundational thinking   Harvey Friedman
• K-theory and sets   Monroe Eskew
• Explosion and Cut Required   Joseph Vidal-Rosset
• Explosion and Cut Required   Joseph Vidal-Rosset
• LUW June 8, Ciro Russo, Winner of the 2nd World Logic Prizes Contest   jean-yves beziau
• Lindström Lectures 2022: Public (streamed) lecture by Prof. Sara Negri   Graham Leigh
• Ibn Sina and Bolzano: Two Contingent Arguments. The Logic and Religion Webinar, Jun 9   FRANCISCO MARIANO
• Explosion and Cut Required   Harvey Friedman
• DEADLINE EXTENDED for Graduate Symposium | DIAGRAMS 202   DIAGRAMS CONFERENCE
• K-theory and sets   Ignacio Añón
• Explosion and Cut Required   Arnon Avron
• Non-foundationalist foundational thinking   Christian Espíndola
• Explosion and Cut Required   Vaughan Pratt
• Non-foundationalist foundational thinking   Vaughan Pratt
• Non-foundationalist foundational thinking   Timothy Y. Chow
• Non-foundationalist foundational thinking   jodmos.horon
• Foundations and Foundationalism   Harvey Friedman
• Explosion and Cut Required   Joseph Vidal-Rosset
• SOSOA and irrationality   pax0 at seznam.cz
• Explosion and Cut Required   Mario Carneiro
• Explosion and Cut Required   Joseph Vidal-Rosset
• Logic in Question / Couturat by Anne-Françoise Schmid / LUW June 15 at 4pm CET   jean-yves beziau
• [Vardi-list] FW: FLOC 2022 -- Call For Participation   Moshe Y Vardi
• Foundations and Foundationalism   Timothy Y. Chow
• First Call: 4th International Autumn School and Workshop on Proof Theory, Utrecht 7-12 November 2022   Bahareh Afshari
• Extended Deadlinet: Logic for the AI Spring Summer School Lake Como School of Advanced Studies,   gprimiero at libero.it
• Certified Programs and Proofs (CPP) 2023 Call for Papers   Steve Zdancewic
• Crossley Logic Colloquium (Recordings)   Guillermo Badia
• Explosion and Cut Required   dennis.hamilton at acm.org
• Explosion and Cut Required   Joseph Vidal-Rosset
• Explosion and Cut Required   Mario Carneiro
• Explosion and Cut Required   Joseph Vidal-Rosset
• Explosion and Cut Required   Mario Carneiro
• Explosion and Cut Required   Joseph Vidal-Rosset
• Explosion and Cut Required   Mario Carneiro
• Explosion and Cut Required   Joseph Vidal-Rosset
• Explosion and Cut Required - Inference Systems   dennis.hamilton at acm.org
• Explosion and Cut Required - Inference Systems   Joseph Vidal-Rosset
• Explosion and Cut Required - Inference Systems   Mario Carneiro
• Explosion and Cut Required - Inference Systems   Joseph Vidal-Rosset
• Explosion and Cut Required - Inference Systems   Mario Carneiro
• propositions that can perish and their role in the foundations of mathematics   José Manuel Rodríguez Caballero
• Explosion and Cut Required - Inference Systems   Joseph Vidal-Rosset
• Explosion and Cut Required - Inference Systems   Mario Carneiro
• Explosion and Cut Required   Richard Kimberly Heck
• Explosion and Cut Required - Small Touch-Up   dennis.hamilton at acm.org
• Explosion and Cut Required - Inference Systems   Joseph Vidal-Rosset
• Explosion and Cut Required - Inference Systems   Joseph Vidal-Rosset
• Thread on core logic,   Martin Davis
• Nerode 90 online conference June 28-29   Artemov, Sergei
• Fwd: Foundations and Foundationalism   Harvey Friedman
• 937: Logic of Real Numbers/1   Harvey Friedman
• Fwd: Foundations and Foundationalism   Timothy Y. Chow
• Shannon's information theory and foundations of mathematics   Vaughan Pratt
• Fwd: Foundations and Foundationalism   Kreinovich, Vladik
• Why is "0# exists" independent?   martdowd at aol.com
• Fwd: Foundations and Foundationalism   jodmos.horon
• Shannon's information theory and foundations of mathematics   Kreinovich, Vladik
• Fwd: Foundations and Foundationalism   Joseph Vidal-Rosset
• Shannon's information theory and foundations of mathematics   Ellerman, David
• disinformation in a formal system as exploitation of the undecidability and proof complexity   José Manuel Rodríguez Caballero
• Why is "0# exists" independent?   Timothy Y. Chow
• Fwd: Foundations and Foundationalism   Harvey Friedman
• FOM Digest, Vol 234, Issue 36   Mark Lance
• Shannon's information theory and foundations of mathematics   Vaughan Pratt
• CSL'23 - last call for papers   Bartek Klin

Last message date: Wed Jun 29 11:05:03 EDT 2022
Archived on: Wed Jul 6 13:57:43 EDT 2022

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...