July 2022 Archives by date
Starting: Fri Jul 1 03:24:17 EDT 2022
Ending: Sat Jul 30 23:10:16 EDT 2022
Messages: 63
- Why is "0# exists" independent?
Harvey Friedman
- POST-DOC POSITION IN LOGIC at LUCI-UNIMI
gprimiero at libero.it
- A question concerning E Mingle
Gemma Robles
- Extended Deadline. CfP: 14th French Philosophy of Mathematics Workshop, Oct. 19 – 21, 2022, Nantes
CANTU TESTA Paola
- LUW July 6: Unification in Pretabular Extensions of S4
jean-yves beziau
- [Vardi-list] Digital Humanism Summer School 2022 in September at TU Wien
Moshe Y Vardi
- Deadline extension, special issue "Frontiers of connexive logic", Journal: Studia Logica
Hitoshi Omori
- Parables and Brains: The Logic and Religion Webinar, July 7
FRANCISCO MARIANO
- Why is "0# exists" independent?
martdowd at aol.com
- Shannon's information theory and foundations of mathematics
dennis.hamilton at acm.org
- Fwd: Foundations and Foundationalism
dennis.hamilton at acm.org
- disinformation and proof length
José Manuel Rodríguez Caballero
- Foundations and Foundationalism
Joseph Vidal-Rosset
- Open access edition of the logical writings of Karl Popper
Peter Schroeder-Heister
- Shannon's information theory and foundations of mathematics
José Manuel Rodríguez Caballero
- CFP: 17th International Congress of Logic, Methodology and Philosophy of Science and Technology
Bruno Lopes
- Disinformation and proof length
Vaughan Pratt
- Shannon's information theory and foundations of mathematics
dennis.hamilton at acm.org
- 938: Logic of Real Functions/1
Harvey Friedman
- Foundations and Foundationalism
Harvey Friedman
- Shannon's information theory and foundations of mathematics
Vaughan Pratt
- Shannon's information theory and foundations of mathematics
dennis.hamilton at acm.org
- Foundations and Foundationalism
Timothy Y. Chow
- Shannon's information theory and foundations of mathematics
martdowd at aol.com
- geometric interpretation of the expansion of an epistemology
José Manuel Rodríguez Caballero
- Shannon's information theory and foundations of mathematics
Vaughan Pratt
- Shannon's information theory and foundations of mathematics
X.Y. Newberry
- World Congress on Logic and Religion, Varanasi, India, Deadline July 31st
FRANCISCO MARIANO
- Call for Application: Ph.D. - University of Urbino
Pierluigi Graziani
- PhD Student or Postdoc Position in Alexander von Humboldt Professor group
Andre Platzer
- Axiomatization of Some Basic and Modal Boolean Connexive Logics
jean-yves beziau
- geometric interpretation of the expansion of an epistemology
dennis.hamilton at acm.org
- geometric interpretation of the expansion of an epistemology
José Manuel Rodríguez Caballero
- Shannon's information theory and foundations of mathematics
X.Y. Newberry
- Axiomatization of Some Basic and Modal Boolean Connexive Logics
jean-yves beziau
- Two PhD positions and one postdoc position in philosophical logic at KU Leuven (Belgium)
Lorenz Demey
- extending probabilistic formal frameworks to propositions more general than just arithmetic
José Manuel Rodríguez Caballero
- CfP special issue on Valerie Plumwood's contributions to logic in AustJL, Extended Deadline: 4 September 2022
Guillermo Badia
- Applied Proof Theory 2022 (APT22) in Pescara, Italy (Aug 29-Sept 2, 2022)
Sam Sanders
- [Vardi-list] How to be an ethical computer scientist
Moshe Y Vardi
- Workshop on Consciousness and the Self - 3rd WoCoLoR
FRANCISCO MARIANO
- Presburger Arithmetic
JOSEPH SHIPMAN
- Presburger Arithmetic
Erik Winfree
- Presburger Arithmetic
JOSEPH SHIPMAN
- Special Issue on INDIAN RELIGIONS AND THE CONCEPT OF GOD: 1st Call for Papers
FRANCISCO MARIANO
- CCC2022 -September 19-23, 2022- 2nd call for contributions
Maria Emilia Maietti
- 939: Stable Maximality/1
Harvey Friedman
- 940: Stable Maximality/2
Harvey Friedman
- Shannon's information theory and foundations of mathematics
X.Y. Newberry
- CfP BEWARE - Joint BRIO Workshop, ME&E-LP Workshop, AWARE AI Workshop, Co-located with AIxIA 2022
gprimiero at libero.it
- Very weak metatheories
Pedro Sánchez Terraf
- Very weak metatheories
David Auerbach
- Very weak metatheories
Richard Kimberly Heck
- Logic and Religion, World Congress, Varanasi, Nov 4-8 - Deadline approaching: July 31st
FRANCISCO MARIANO
- Very weak metatheories
Timothy Y. Chow
- Call For Participation | DIAGRAMS 2022
DIAGRAMS CONFERENCE
- Very weak metatheories
Pedro Sánchez Terraf
- Very weak metatheories
Timothy Y. Chow
- 941: New Stable Maximality/1
Harvey Friedman
- 942: New Stable Maximality/2
Harvey Friedman
- Very weak metatheories
dennis.hamilton at acm.org
- FOM Digest, Vol 231, Issue 11
Stephen Wolfram
- Workshop on CONSCIOUSNESS AND THE SELF - Deadline approaching
FRANCISCO MARIANO
Last message date:
Sat Jul 30 23:10:16 EDT 2022
Archived on: Sun Jul 31 17:34:36 EDT 2022
This archive was generated by
Pipermail 0.09 (Mailman edition).