corpus.blog
41554 blogs · [ { "id": "01a0bb4e-afd1-7298-96fa-f495a610f4a3", "title": "Partial Compilers and Problems", "url": "http://logic-forall.blogspot.com/2026/09/partial-compilers-and-problems.html", "published_at": "2026-09-18T01:09:58+00:00" }, { "id": "01a0bb4e-b643-73d8-ba9e-abb180a42149", "title": "Partial Compilers and Problems", "url": "https://logic-forall.blogspot.com/2026/09/partial-compilers-and-problems.html", "published_at": "2026-09-18T01:09:58+00:00" }, { "id": "01a0bb4e-afd1-7298-96fa-f495a69f032a", "title": "Polynomials with Predicate: a Dialectica reading", "url": "http://logic-forall.blogspot.com/2026/09/polynomials-with-predicate-dialectica.html", "published_at": "2026-09-17T22:44:26+00:00" }, { "id": "01a0bb4e-b643-73d8-ba9e-abb180f46052", "title": "Polynomials with Predicate: a Dialectica reading", "url": "https://logic-forall.blogspot.com/2026/09/polynomials-with-predicate-dialectica.html", "published_at": "2026-09-17T22:44:26+00:00" }, { "id": "01a0bb4e-afd1-7298-96fa-f495a7259700", "title": "Natural Language Is Not Going Away", "url": "http://logic-forall.blogspot.com/2026/09/natural-language-is-not-going-away.html", "published_at": "2026-09-17T22:07:50+00:00" }, { "id": "01a0bb4e-b643-73d8-ba9e-abb181890faf", "title": "Natural Language Is Not Going Away", "url": "https://logic-forall.blogspot.com/2026/09/natural-language-is-not-going-away.html", "published_at": "2026-09-17T22:07:50+00:00" }, { "id": "01a0bb4e-afd1-7298-96fa-f495a7267c46", "title": "What Is Actually Linear Here?", "url": "http://logic-forall.blogspot.com/2026/09/what-is-actually-linear-here.html", "published_at": "2026-09-17T00:41:09+00:00" }, { "id": "01a0bb4e-b643-73d8-ba9e-abb181c6242d", "title": "What Is Actually Linear Here?", "url": "https://logic-forall.blogspot.com/2026/09/what-is-actually-linear-here.html", "published_at": "2026-09-17T00:41:09+00:00" }, { "id": "01a0bb4e-afd1-7298-96fa-f495a7dec54b", "title": "Counting LICS again", "url": "http://logic-forall.blogspot.com/2026/09/counting-lics-again.html", "published_at": "2026-09-16T16:05:36+00:00" }, { "id": "01a0bb4e-b643-73d8-ba9e-abb181f007a0", "title": "Counting LICS again", "url": "https://logic-forall.blogspot.com/2026/09/counting-lics-again.html", "published_at": "2026-09-16T16:05:36+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b301eebde18", "title": "Synthetic Mathematics in the Amazon", "url": "http://logic-forall.blogspot.com/2026/05/synthetic-mathematics-in-amazon.html", "published_at": "2026-05-31T03:01:59+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b302aa9a0ed", "title": "Synthetic Mathematics in the Amazon", "url": "https://logic-forall.blogspot.com/2026/05/synthetic-mathematics-in-amazon.html", "published_at": "2026-05-31T03:01:59+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b301fa87116", "title": "Problems, Problems Everywhere", "url": "http://logic-forall.blogspot.com/2026/04/problems-problems-everywhere.html", "published_at": "2026-04-30T00:22:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b302acee5c8", "title": "Problems, Problems Everywhere", "url": "https://logic-forall.blogspot.com/2026/04/problems-problems-everywhere.html", "published_at": "2026-04-30T00:22:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b3020812da5", "title": "Remembering Marta Bunge", "url": "http://logic-forall.blogspot.com/2026/04/remembering-marta-bunge.html", "published_at": "2026-04-24T19:22:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b302bb8f303", "title": "Remembering Marta Bunge", "url": "https://logic-forall.blogspot.com/2026/04/remembering-marta-bunge.html", "published_at": "2026-04-24T19:22:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b3021645556", "title": "On Skolemization... again", "url": "http://logic-forall.blogspot.com/2026/04/on-skolemization-again.html", "published_at": "2026-04-23T23:06:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b302c9baa8f", "title": "On Skolemization... again", "url": "https://logic-forall.blogspot.com/2026/04/on-skolemization-again.html", "published_at": "2026-04-23T23:06:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b3021cb54b3", "title": "Skolem is not constructive", "url": "http://logic-forall.blogspot.com/2026/04/skolem-is-not-constructive.html", "published_at": "2026-04-23T02:33:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b302cba7e11", "title": "Skolem is not constructive", "url": "https://logic-forall.blogspot.com/2026/04/skolem-is-not-constructive.html", "published_at": "2026-04-23T02:33:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b3022750e14", "title": "Ariadne Posts: On Not Yet Knowing the Way Out", "url": "http://logic-forall.blogspot.com/2026/04/ariadne-posts-on-not-yet-knowing-way-out.html", "published_at": "2026-04-21T04:08:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b302d8c27ef", "title": "Ariadne Posts: On Not Yet Knowing the Way Out", "url": "https://logic-forall.blogspot.com/2026/04/ariadne-posts-on-not-yet-knowing-way-out.html", "published_at": "2026-04-21T04:08:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b3022fc3725", "title": "A Recipe for Models, Told Twice", "url": "http://logic-forall.blogspot.com/2026/04/a-recipe-for-models-told-twice.html", "published_at": "2026-04-07T19:55:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b302e23ba38", "title": "A Recipe for Models, Told Twice", "url": "https://logic-forall.blogspot.com/2026/04/a-recipe-for-models-told-twice.html", "published_at": "2026-04-07T19:55:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b30237ab932", "title": "The logic of using things exactly once — and why it matters", "url": "http://logic-forall.blogspot.com/2026/04/the-logic-of-using-things-exactly-once.html", "published_at": "2026-04-01T21:49:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b302edc5179", "title": "The logic of using things exactly once — and why it matters", "url": "https://logic-forall.blogspot.com/2026/04/the-logic-of-using-things-exactly-once.html", "published_at": "2026-04-01T21:49:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b3023ea10cc", "title": "What If Cantor Was Wrong?", "url": "http://logic-forall.blogspot.com/2026/03/what-if-cantor-was-wrong.html", "published_at": "2026-03-27T22:29:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b302f3680f0", "title": "What If Cantor Was Wrong?", "url": "https://logic-forall.blogspot.com/2026/03/what-if-cantor-was-wrong.html", "published_at": "2026-03-27T22:29:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b30247a3c39", "title": "Constructive modal Logics: Again", "url": "http://logic-forall.blogspot.com/2026/03/constructive-modal-logics-again.html", "published_at": "2026-03-17T20:15:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b3030008ac8", "title": "Constructive modal Logics: Again", "url": "https://logic-forall.blogspot.com/2026/03/constructive-modal-logics-again.html", "published_at": "2026-03-17T20:15:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b3024b2c771", "title": "Soundness and completeness are not enough", "url": "http://logic-forall.blogspot.com/2026/03/soundness-and-completeness-are-not.html", "published_at": "2026-03-12T16:34:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b3030c9a2ec", "title": "Soundness and completeness are not enough", "url": "https://logic-forall.blogspot.com/2026/03/soundness-and-completeness-are-not.html", "published_at": "2026-03-12T16:34:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b3024c323ed", "title": "Threads, Not Tallies", "url": "http://logic-forall.blogspot.com/2026/03/threads-not-tallies.html", "published_at": "2026-03-02T20:39:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b3030f1dd1b", "title": "Threads, Not Tallies", "url": "https://logic-forall.blogspot.com/2026/03/threads-not-tallies.html", "published_at": "2026-03-02T20:39:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b3025a2937b", "title": "Learning from Penelope", "url": "http://logic-forall.blogspot.com/2026/02/learning-from-penelope.html", "published_at": "2026-02-19T07:43:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b3031bf96b6", "title": "Learning from Penelope", "url": "https://logic-forall.blogspot.com/2026/02/learning-from-penelope.html", "published_at": "2026-02-19T07:43:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b3025e67a20", "title": "Manels and their effects (on my health)", "url": "http://logic-forall.blogspot.com/2026/02/manels-and-their-effects-on-my-health.html", "published_at": "2026-02-12T13:56:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b303206f07a", "title": "Manels and their effects (on my health)", "url": "https://logic-forall.blogspot.com/2026/02/manels-and-their-effects-on-my-health.html", "published_at": "2026-02-12T13:56:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b3026aac78f", "title": "Saying good bye to Harold", "url": "http://logic-forall.blogspot.com/2025/12/saying-good-bye-to-harold.html", "published_at": "2025-12-25T17:18:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b303276e56f", "title": "Saying good bye to Harold", "url": "https://logic-forall.blogspot.com/2025/12/saying-good-bye-to-harold.html", "published_at": "2025-12-25T17:18:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b302730d0dd", "title": "Ada Lovelace Day 2025", "url": "http://logic-forall.blogspot.com/2025/12/ada-lovelace-day-2025.html", "published_at": "2025-12-24T16:58:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b303280922a", "title": "Ada Lovelace Day 2025", "url": "https://logic-forall.blogspot.com/2025/12/ada-lovelace-day-2025.html", "published_at": "2025-12-24T16:58:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b30273b6187", "title": "Women in Formal Mathematics 2024: A Weekend of Ideas and Community", "url": "http://logic-forall.blogspot.com/2025/09/women-in-formal-mathematics-2024.html", "published_at": "2025-09-06T01:01:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b3032f52c53", "title": "Women in Formal Mathematics 2024: A Weekend of Ideas and Community", "url": "https://logic-forall.blogspot.com/2025/09/women-in-formal-mathematics-2024.html", "published_at": "2025-09-06T01:01:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b3027580582", "title": "Intuitionistic Modal Logic: are you sure?", "url": "http://logic-forall.blogspot.com/2025/06/intuitionistic-modal-logic-are-you-sure.html", "published_at": "2025-06-18T00:25:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b30331ada15", "title": "Intuitionistic Modal Logic: are you sure?", "url": "https://logic-forall.blogspot.com/2025/06/intuitionistic-modal-logic-are-you-sure.html", "published_at": "2025-06-18T00:25:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b302831ecf1", "title": "Oh dear: my webpage in Bham is gone!", "url": "http://logic-forall.blogspot.com/2025/06/oh-dear-my-webpage-in-bham-is-gone.html", "published_at": "2025-06-08T00:17:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b3033810ff3", "title": "Oh dear: my webpage in Bham is gone!", "url": "https://logic-forall.blogspot.com/2025/06/oh-dear-my-webpage-in-bham-is-gone.html", "published_at": "2025-06-08T00:17:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b3028444114", "title": "Topos@4", "url": "http://logic-forall.blogspot.com/2025/03/topos4.html", "published_at": "2025-03-17T01:43:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b3033b063e3", "title": "Topos@4", "url": "https://logic-forall.blogspot.com/2025/03/topos4.html", "published_at": "2025-03-17T01:43:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b3028c5dd5c", "title": "What about Topos?", "url": "http://logic-forall.blogspot.com/2025/03/what-about-topos.html", "published_at": "2025-03-14T15:56:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b3033ec5415", "title": "What about Topos?", "url": "https://logic-forall.blogspot.com/2025/03/what-about-topos.html", "published_at": "2025-03-14T15:56:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b3029166ce5", "title": "NLI: once more around the track", "url": "http://logic-forall.blogspot.com/2024/12/nli-once-more-around-track.html", "published_at": "2024-12-16T00:39:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b30346ceac1", "title": "NLI: once more around the track", "url": "https://logic-forall.blogspot.com/2024/12/nli-once-more-around-track.html", "published_at": "2024-12-16T00:39:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b30295e6f85", "title": "The Importance of summer", "url": "http://logic-forall.blogspot.com/2024/11/the-importance-of-topos.html", "published_at": "2024-11-21T05:32:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b30346cf08b", "title": "The Importance of summer", "url": "https://logic-forall.blogspot.com/2024/11/the-importance-of-topos.html", "published_at": "2024-11-21T05:32:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b302a2929a8", "title": "Marta Bunge's Thesis Republished", "url": "http://logic-forall.blogspot.com/2024/11/marta-bunges-thesis-republished.html", "published_at": "2024-11-07T01:54:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b3035194549", "title": "Marta Bunge's Thesis Republished", "url": "https://logic-forall.blogspot.com/2024/11/marta-bunges-thesis-republished.html", "published_at": "2024-11-07T01:54:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b302aa284c1", "title": "Ada Lovelace Day 2024: Annie Zaenen", "url": "http://logic-forall.blogspot.com/2024/10/ada-lovelace-day-2024-annie-zaenen.html", "published_at": "2024-10-09T14:27:00+00:00" }, { "id": "01a0879c-0e41-72e1-aa86-8b30356cf7d1", "title": "Ada Lovelace Day 2024: Annie Zaenen", "url": "https://logic-forall.blogspot.com/2024/10/ada-lovelace-day-2024-annie-zaenen.html", "published_at": "2024-10-09T14:27:00+00:00" }, { "id": "01a0bb58-69a3-70d8-8339-899e0f1b05b5", "title": "Hausdorff Institute of Mathematics: the beginning of our trimester", "url": "http://logic-forall.blogspot.com/2024/09/hausdorff-institute-of-mathematics.html", "published_at": "2024-09-22T20:52:00+00:00" }, { "id": "01a0bb58-700d-738c-99f4-0c0a7d7fcbb1", "title": "Hausdorff Institute of Mathematics: the beginning of our trimester", "url": "https://logic-forall.blogspot.com/2024/09/hausdorff-institute-of-mathematics.html", "published_at": "2024-09-22T20:52:00+00:00" }, { "id": "01a0bb58-69a3-70d8-8339-899e0fe351ba", "title": "Topos-Chapman Collaboration", "url": "http://logic-forall.blogspot.com/2024/09/topos-chapman-collaboration.html", "published_at": "2024-09-15T14:05:00+00:00" }, { "id": "01a0bb58-700d-738c-99f4-0c0a7dd03479", "title": "Topos-Chapman Collaboration", "url": "https://logic-forall.blogspot.com/2024/09/topos-chapman-collaboration.html", "published_at": "2024-09-15T14:05:00+00:00" }, { "id": "01a0bb58-69a3-70d8-8339-899e10a5b89f", "title": "Pasadena Last December", "url": "http://logic-forall.blogspot.com/2024/04/pasadena-last-december.html", "published_at": "2024-04-10T17:09:00+00:00" }, { "id": "01a0bb58-700d-738c-99f4-0c0a7e3c29d9", "title": "Pasadena Last December", "url": "https://logic-forall.blogspot.com/2024/04/pasadena-last-december.html", "published_at": "2024-04-10T17:09:00+00:00" }, { "id": "01a0bb58-69a3-70d8-8339-899e11a43b63", "title": "Dagstuhl in the Fall (2023)", "url": "http://logic-forall.blogspot.com/2024/03/dagstuhl-in-fall-2023.html", "published_at": "2024-03-03T20:37:00+00:00" }, { "id": "01a0bb58-700d-738c-99f4-0c0a7f1864bd", "title": "Dagstuhl in the Fall (2023)", "url": "https://logic-forall.blogspot.com/2024/03/dagstuhl-in-fall-2023.html", "published_at": "2024-03-03T20:37:00+00:00" }, { "id": "01a0bb58-69a3-70d8-8339-899e1204b141", "title": "Preparing for Network Mathematics 2023", "url": "http://logic-forall.blogspot.com/2024/02/preparing-for-network-mathematics-2023.html", "published_at": "2024-02-27T20:03:00+00:00" }, { "id": "01a0bb58-700d-738c-99f4-0c0a7f82d0a4", "title": "Preparing for Network Mathematics 2023", "url": "https://logic-forall.blogspot.com/2024/02/preparing-for-network-mathematics-2023.html", "published_at": "2024-02-27T20:03:00+00:00" }, { "id": "01a0bb58-69a3-70d8-8339-899e122941f6", "title": "Formal Math: are we there yet?", "url": "http://logic-forall.blogspot.com/2024/02/formal-math-are-we-there-yet.html", "published_at": "2024-02-25T17:05:00+00:00" }, { "id": "01a0bb58-700d-738c-99f4-0c0a7fe8d00f", "title": "Formal Math: are we there yet?", "url": "https://logic-forall.blogspot.com/2024/02/formal-math-are-we-there-yet.html", "published_at": "2024-02-25T17:05:00+00:00" }, { "id": "01a0bb58-69a3-70d8-8339-899e12b62361", "title": "Ada Lovelace Day in December?", "url": "http://logic-forall.blogspot.com/2023/12/ada-lovelace-day-in-december.html", "published_at": "2023-12-31T16:48:00+00:00" }, { "id": "01a0bb58-700d-738c-99f4-0c0a803609f9", "title": "Ada Lovelace Day in December?", "url": "https://logic-forall.blogspot.com/2023/12/ada-lovelace-day-in-december.html", "published_at": "2023-12-31T16:48:00+00:00" }, { "id": "01a0bb58-69a3-70d8-8339-899e1354bd36", "title": "Network Mathematics: small approaches to a big problem", "url": "http://logic-forall.blogspot.com/2023/06/networked-mathematics-small-approaches.html", "published_at": "2023-06-12T20:12:00+00:00" }, { "id": "01a0bb58-700d-738c-99f4-0c0a80f7b574", "title": "Network Mathematics: small approaches to a big problem", "url": "https://logic-forall.blogspot.com/2023/06/networked-mathematics-small-approaches.html", "published_at": "2023-06-12T20:12:00+00:00" }, { "id": "01a0bb58-69a3-70d8-8339-899e13d4cb7c", "title": "Women in Logic: the history so far", "url": "http://logic-forall.blogspot.com/2023/03/women-in-logic-history-so-far.html", "published_at": "2023-03-13T23:46:00+00:00" }, { "id": "01a0bb58-700d-738c-99f4-0c0a8158b9aa", "title": "Women in Logic: the history so far", "url": "https://logic-forall.blogspot.com/2023/03/women-in-logic-history-so-far.html", "published_at": "2023-03-13T23:46:00+00:00" }, { "id": "01a0bb58-69a3-70d8-8339-899e143d9668", "title": "The road to Networked Mathematics", "url": "http://logic-forall.blogspot.com/2023/02/the-road-to-networked-mathematics.html", "published_at": "2023-02-03T01:15:00+00:00" }, { "id": "01a0bb58-700d-738c-99f4-0c0a81be1b20", "title": "The road to Networked Mathematics", "url": "https://logic-forall.blogspot.com/2023/02/the-road-to-networked-mathematics.html", "published_at": "2023-02-03T01:15:00+00:00" }, { "id": "01a0bb58-69a3-70d8-8339-899e14e519ad", "title": "Dialectica Categories in Computing", "url": "http://logic-forall.blogspot.com/2022/12/dialectica-categories-in-computing.html", "published_at": "2022-12-24T18:56:00+00:00" }, { "id": "01a0bb58-700d-738c-99f4-0c0a8226722e", "title": "Dialectica Categories in Computing", "url": "https://logic-forall.blogspot.com/2022/12/dialectica-categories-in-computing.html", "published_at": "2022-12-24T18:56:00+00:00" }, { "id": "01a0bb58-69a3-70d8-8339-899e15c27616", "title": "Extracting Mathematical Concepts", "url": "http://logic-forall.blogspot.com/2022/12/extracting-mathematical-concepts.html", "published_at": "2022-12-24T18:01:00+00:00" }, { "id": "01a0bb58-700d-738c-99f4-0c0a82445a85", "title": "Extracting Mathematical Concepts", "url": "https://logic-forall.blogspot.com/2022/12/extracting-mathematical-concepts.html", "published_at": "2022-12-24T18:01:00+00:00" }, { "id": "01a0bb58-69a3-70d8-8339-899e1638fb32", "title": "Network Mathematics", "url": "http://logic-forall.blogspot.com/2022/12/networked-mathematics.html", "published_at": "2022-12-01T21:41:00+00:00" }, { "id": "01a0bb58-700d-738c-99f4-0c0a8290266a", "title": "Network Mathematics", "url": "https://logic-forall.blogspot.com/2022/12/networked-mathematics.html", "published_at": "2022-12-01T21:41:00+00:00" }, { "id": "01a0bb58-69a3-70d8-8339-899e16c8546b", "title": "Women in Logic website", "url": "http://logic-forall.blogspot.com/2022/11/women-in-logic-website.html", "published_at": "2022-11-30T13:54:00+00:00" }, { "id": "01a0bb58-700d-738c-99f4-0c0a83758167", "title": "Women in Logic website", "url": "https://logic-forall.blogspot.com/2022/11/women-in-logic-website.html", "published_at": "2022-11-30T13:54:00+00:00" }, { "id": "01a0bb58-69a3-70d8-8339-899e172d114b", "title": "Duplicating blog posts?", "url": "http://logic-forall.blogspot.com/2022/11/duplicating-blog-posts.html", "published_at": "2022-11-27T22:50:00+00:00" }, { "id": "01a0bb58-700d-738c-99f4-0c0a844138e7", "title": "Duplicating blog posts?", "url": "https://logic-forall.blogspot.com/2022/11/duplicating-blog-posts.html", "published_at": "2022-11-27T22:50:00+00:00" }, { "id": "01a0bb58-69a3-70d8-8339-899e180b6b45", "title": "Some weeks are really hard", "url": "http://logic-forall.blogspot.com/2022/10/some-weeks-are-really-hard.html", "published_at": "2022-10-26T00:27:00+00:00" }, { "id": "01a0bb58-700d-738c-99f4-0c0a854137b8", "title": "Some weeks are really hard", "url": "https://logic-forall.blogspot.com/2022/10/some-weeks-are-really-hard.html", "published_at": "2022-10-26T00:27:00+00:00" }, { "id": "01a0bb58-69a3-70d8-8339-899e190a512b", "title": "Ada Lovelace Day 2022: Bertha Lutz", "url": "http://logic-forall.blogspot.com/2022/10/ada-lovelace-day-2022-bertha-lutz.html", "published_at": "2022-10-22T15:07:00+00:00" }, { "id": "01a0bb58-700d-738c-99f4-0c0a8639f850", "title": "Ada Lovelace Day 2022: Bertha Lutz", "url": "https://logic-forall.blogspot.com/2022/10/ada-lovelace-day-2022-bertha-lutz.html", "published_at": "2022-10-22T15:07:00+00:00" }, { "id": "01a0bb58-69a3-70d8-8339-899e1928356b", "title": "MRC@Cupertino accomplished", "url": "http://logic-forall.blogspot.com/2022/09/mrccupertino-accomplished.html", "published_at": "2022-09-11T15:02:00+00:00" }, { "id": "01a0bb58-700d-738c-99f4-0c0a8715f35e", "title": "MRC@Cupertino accomplished", "url": "https://logic-forall.blogspot.com/2022/09/mrccupertino-accomplished.html", "published_at": "2022-09-11T15:02:00+00:00" }, { "id": "01a0bb58-69a3-70d8-8339-899e1954e0c8", "title": "Healthy or Sick?", "url": "http://logic-forall.blogspot.com/2022/07/healthy-or-sick.html", "published_at": "2022-07-14T18:57:00+00:00" }, { "id": "01a0bb58-700d-738c-99f4-0c0a880eb2e7", "title": "Healthy or Sick?", "url": "https://logic-forall.blogspot.com/2022/07/healthy-or-sick.html", "published_at": "2022-07-14T18:57:00+00:00" }, { "id": "01a0bb58-69a3-70d8-8339-899e19fa670e", "title": "Late for MRC", "url": "http://logic-forall.blogspot.com/2022/06/late-for-mrc.html", "published_at": "2022-06-06T17:02:00+00:00" }, { "id": "01a0bb58-700d-738c-99f4-0c0a88228757", "title": "Late for MRC", "url": "https://logic-forall.blogspot.com/2022/06/late-for-mrc.html", "published_at": "2022-06-06T17:02:00+00:00" } ] posts Claim your blog
Back to logic-forall.blogspot.com
Blog · corpus.blog/blogs/logic-forall.blogspot.com/posts

logic-forall.blogspot.com

logic-forall.blogspot.com

2026

Partial Compilers and Problemsoriginal ↗
18 Sept 2026
Partial Compilers and Problemsoriginal ↗
18 Sept 2026
Polynomials with Predicate: a Dialectica readingoriginal ↗
17 Sept 2026
Polynomials with Predicate: a Dialectica readingoriginal ↗
17 Sept 2026
Natural Language Is Not Going Awayoriginal ↗
17 Sept 2026
Natural Language Is Not Going Awayoriginal ↗
17 Sept 2026
What Is Actually Linear Here?original ↗
17 Sept 2026
What Is Actually Linear Here?original ↗
17 Sept 2026
Counting LICS againoriginal ↗
16 Sept 2026
Counting LICS againoriginal ↗
16 Sept 2026
Synthetic Mathematics in the Amazonoriginal ↗
31 May 2026
Synthetic Mathematics in the Amazonoriginal ↗
31 May 2026
Problems, Problems Everywhereoriginal ↗
30 Apr 2026
Problems, Problems Everywhereoriginal ↗
30 Apr 2026
Remembering Marta Bungeoriginal ↗
24 Apr 2026
Remembering Marta Bungeoriginal ↗
24 Apr 2026
On Skolemization... againoriginal ↗
23 Apr 2026
On Skolemization... againoriginal ↗
23 Apr 2026
Skolem is not constructiveoriginal ↗
23 Apr 2026
Skolem is not constructiveoriginal ↗
23 Apr 2026
Ariadne Posts: On Not Yet Knowing the Way Outoriginal ↗
21 Apr 2026
Ariadne Posts: On Not Yet Knowing the Way Outoriginal ↗
21 Apr 2026
A Recipe for Models, Told Twiceoriginal ↗
7 Apr 2026
A Recipe for Models, Told Twiceoriginal ↗
7 Apr 2026
The logic of using things exactly once — and why it mattersoriginal ↗
1 Apr 2026
The logic of using things exactly once — and why it mattersoriginal ↗
1 Apr 2026
What If Cantor Was Wrong?original ↗
27 Mar 2026
What If Cantor Was Wrong?original ↗
27 Mar 2026
Constructive modal Logics: Againoriginal ↗
17 Mar 2026
Constructive modal Logics: Againoriginal ↗
17 Mar 2026
Soundness and completeness are not enoughoriginal ↗
12 Mar 2026
Soundness and completeness are not enoughoriginal ↗
12 Mar 2026
Threads, Not Talliesoriginal ↗
2 Mar 2026
Threads, Not Talliesoriginal ↗
2 Mar 2026
Learning from Penelopeoriginal ↗
19 Feb 2026
Learning from Penelopeoriginal ↗
19 Feb 2026
Manels and their effects (on my health)original ↗
12 Feb 2026
Manels and their effects (on my health)original ↗
12 Feb 2026

2025

Saying good bye to Haroldoriginal ↗
25 Dec 2025
Saying good bye to Haroldoriginal ↗
25 Dec 2025
Ada Lovelace Day 2025original ↗
24 Dec 2025
Ada Lovelace Day 2025original ↗
24 Dec 2025
Women in Formal Mathematics 2024: A Weekend of Ideas and Communityoriginal ↗
6 Sept 2025
Women in Formal Mathematics 2024: A Weekend of Ideas and Communityoriginal ↗
6 Sept 2025
Intuitionistic Modal Logic: are you sure?original ↗
18 Jun 2025
Intuitionistic Modal Logic: are you sure?original ↗
18 Jun 2025
Oh dear: my webpage in Bham is gone!original ↗
8 Jun 2025
Oh dear: my webpage in Bham is gone!original ↗
8 Jun 2025
Topos@4original ↗
17 Mar 2025
Topos@4original ↗
17 Mar 2025
What about Topos?original ↗
14 Mar 2025
What about Topos?original ↗
14 Mar 2025

2024

NLI: once more around the trackoriginal ↗
16 Dec 2024
NLI: once more around the trackoriginal ↗
16 Dec 2024
The Importance of summeroriginal ↗
21 Nov 2024
The Importance of summeroriginal ↗
21 Nov 2024
Marta Bunge's Thesis Republishedoriginal ↗
7 Nov 2024
Marta Bunge's Thesis Republishedoriginal ↗
7 Nov 2024
Ada Lovelace Day 2024: Annie Zaenenoriginal ↗
9 Oct 2024
Ada Lovelace Day 2024: Annie Zaenenoriginal ↗
9 Oct 2024
Hausdorff Institute of Mathematics: the beginning of our trimesteroriginal ↗
22 Sept 2024
Hausdorff Institute of Mathematics: the beginning of our trimesteroriginal ↗
22 Sept 2024
Topos-Chapman Collaborationoriginal ↗
15 Sept 2024
Topos-Chapman Collaborationoriginal ↗
15 Sept 2024
Pasadena Last Decemberoriginal ↗
10 Apr 2024
Pasadena Last Decemberoriginal ↗
10 Apr 2024
Dagstuhl in the Fall (2023)original ↗
3 Mar 2024
Dagstuhl in the Fall (2023)original ↗
3 Mar 2024
Preparing for Network Mathematics 2023original ↗
27 Feb 2024
Preparing for Network Mathematics 2023original ↗
27 Feb 2024
Formal Math: are we there yet?original ↗
25 Feb 2024
Formal Math: are we there yet?original ↗
25 Feb 2024

2023

Ada Lovelace Day in December?original ↗
31 Dec 2023
Ada Lovelace Day in December?original ↗
31 Dec 2023
Network Mathematics: small approaches to a big problemoriginal ↗
12 Jun 2023
Network Mathematics: small approaches to a big problemoriginal ↗
12 Jun 2023
Women in Logic: the history so faroriginal ↗
13 Mar 2023
Women in Logic: the history so faroriginal ↗
13 Mar 2023
The road to Networked Mathematicsoriginal ↗
3 Feb 2023
The road to Networked Mathematicsoriginal ↗
3 Feb 2023

2022

Dialectica Categories in Computingoriginal ↗
24 Dec 2022
Dialectica Categories in Computingoriginal ↗
24 Dec 2022
Extracting Mathematical Conceptsoriginal ↗
24 Dec 2022
Extracting Mathematical Conceptsoriginal ↗
24 Dec 2022
Network Mathematicsoriginal ↗
1 Dec 2022
Network Mathematicsoriginal ↗
1 Dec 2022
Women in Logic websiteoriginal ↗
30 Nov 2022
Women in Logic websiteoriginal ↗
30 Nov 2022
Duplicating blog posts?original ↗
27 Nov 2022
Duplicating blog posts?original ↗
27 Nov 2022
Some weeks are really hardoriginal ↗
26 Oct 2022
Some weeks are really hardoriginal ↗
26 Oct 2022
Ada Lovelace Day 2022: Bertha Lutzoriginal ↗
22 Oct 2022
Ada Lovelace Day 2022: Bertha Lutzoriginal ↗
22 Oct 2022
MRC@Cupertino accomplishedoriginal ↗
11 Sept 2022
MRC@Cupertino accomplishedoriginal ↗
11 Sept 2022
Healthy or Sick?original ↗
14 Jul 2022
Healthy or Sick?original ↗
14 Jul 2022
Late for MRCoriginal ↗
6 Jun 2022
Late for MRCoriginal ↗
6 Jun 2022
Next