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