corpus.blog
41554 blogs · [ { "id": "01a0bb91-1225-724a-a5de-e97446c9de25", "title": "Unilog 2013 is approaching", "url": "https://logic-forall.blogspot.com/2013/03/unilog-2013-is-approaching.html", "published_at": "2013-03-11T12:23:00+00:00" }, { "id": "01a0bb91-1675-717a-ad4c-4f7668b21d12", "title": "Unilog 2013 is approaching", "url": "http://logic-forall.blogspot.com/2013/03/unilog-2013-is-approaching.html", "published_at": "2013-03-11T12:23:00+00:00" }, { "id": "01a0bb91-1225-724a-a5de-e97447ad8ff6", "title": "Weyl and trying to do too much", "url": "https://logic-forall.blogspot.com/2013/03/weyl-and-trying-to-do-too-much.html", "published_at": "2013-03-11T12:21:00+00:00" }, { "id": "01a0bb91-1675-717a-ad4c-4f7668b97d7c", "title": "Weyl and trying to do too much", "url": "http://logic-forall.blogspot.com/2013/03/weyl-and-trying-to-do-too-much.html", "published_at": "2013-03-11T12:21:00+00:00" }, { "id": "01a0bb91-1225-724a-a5de-e9744807c0d0", "title": "Measuring stuff", "url": "https://logic-forall.blogspot.com/2013/03/measuring-stuff.html", "published_at": "2013-03-09T18:01:00+00:00" }, { "id": "01a0bb91-1675-717a-ad4c-4f76697c5e25", "title": "Measuring stuff", "url": "http://logic-forall.blogspot.com/2013/03/measuring-stuff.html", "published_at": "2013-03-09T18:01:00+00:00" }, { "id": "01a0bb91-1225-724a-a5de-e97448466add", "title": "graphical deduction? seriously...?", "url": "https://logic-forall.blogspot.com/2013/02/graphical-deduction-seriously.html", "published_at": "2013-02-28T16:57:00+00:00" }, { "id": "01a0bb91-1675-717a-ad4c-4f766992740a", "title": "graphical deduction? seriously...?", "url": "http://logic-forall.blogspot.com/2013/02/graphical-deduction-seriously.html", "published_at": "2013-02-28T16:57:00+00:00" }, { "id": "01a0bb91-1225-724a-a5de-e97448cf510c", "title": "Yay! The book is out...", "url": "https://logic-forall.blogspot.com/2013/02/yay-book-is-out.html", "published_at": "2013-02-26T17:59:00+00:00" }, { "id": "01a0bb91-1675-717a-ad4c-4f766a33427d", "title": "Yay! The book is out...", "url": "http://logic-forall.blogspot.com/2013/02/yay-book-is-out.html", "published_at": "2013-02-26T17:59:00+00:00" }, { "id": "01a0bb91-1225-724a-a5de-e97449363f1c", "title": "Five finger exercise", "url": "https://logic-forall.blogspot.com/2013/02/five-finger-exercise.html", "published_at": "2013-02-24T11:59:00+00:00" }, { "id": "01a0bb91-1675-717a-ad4c-4f766b2e3ae1", "title": "Five finger exercise", "url": "http://logic-forall.blogspot.com/2013/02/five-finger-exercise.html", "published_at": "2013-02-24T11:59:00+00:00" }, { "id": "01a0bb91-1225-724a-a5de-e974499b19e6", "title": "Cecilia Payne: fantastic astronomer that you've never heard about before?", "url": "https://logic-forall.blogspot.com/2013/02/cecilia-payne-fantastic-astronomer-that.html", "published_at": "2013-02-23T04:07:00+00:00" }, { "id": "01a0bb91-1675-717a-ad4c-4f766c00179a", "title": "Cecilia Payne: fantastic astronomer that you've never heard about before?", "url": "http://logic-forall.blogspot.com/2013/02/cecilia-payne-fantastic-astronomer-that.html", "published_at": "2013-02-23T04:07:00+00:00" }, { "id": "01a0bb91-1225-724a-a5de-e9744a091450", "title": "Great job Bob Rosebrugh and TAC !", "url": "https://logic-forall.blogspot.com/2013/02/great-job-bob-rosebrugh-and-tac.html", "published_at": "2013-02-18T22:39:00+00:00" }, { "id": "01a0bb91-1675-717a-ad4c-4f766c8eaa03", "title": "Great job Bob Rosebrugh and TAC !", "url": "http://logic-forall.blogspot.com/2013/02/great-job-bob-rosebrugh-and-tac.html", "published_at": "2013-02-18T22:39:00+00:00" }, { "id": "01a0bb91-1225-724a-a5de-e9744a9b782f", "title": "Where's the meeting that was cancelled? once again...", "url": "https://logic-forall.blogspot.com/2013/02/wheres-meeting-that-was-cancelled-once.html", "published_at": "2013-02-12T18:02:00+00:00" }, { "id": "01a0bb91-1675-717a-ad4c-4f766cfb3935", "title": "Where's the meeting that was cancelled? once again...", "url": "http://logic-forall.blogspot.com/2013/02/wheres-meeting-that-was-cancelled-once.html", "published_at": "2013-02-12T18:02:00+00:00" }, { "id": "01a0bb91-1225-724a-a5de-e9744b2f2638", "title": "Constructive Modal Logic for Walter's Fest", "url": "https://logic-forall.blogspot.com/2013/02/constructive-modal-logic-for-walters.html", "published_at": "2013-02-11T17:13:00+00:00" }, { "id": "01a0bb91-1675-717a-ad4c-4f766d5f23eb", "title": "Constructive Modal Logic for Walter's Fest", "url": "http://logic-forall.blogspot.com/2013/02/constructive-modal-logic-for-walters.html", "published_at": "2013-02-11T17:13:00+00:00" }, { "id": "01a0bb91-1225-724a-a5de-e9744c29042c", "title": "State Oriented Linear Logic: for Hermann's birthday", "url": "https://logic-forall.blogspot.com/2013/02/state-oriented-linear-logic-for.html", "published_at": "2013-02-11T01:32:00+00:00" }, { "id": "01a0bb91-1675-717a-ad4c-4f766d9db03d", "title": "State Oriented Linear Logic: for Hermann's birthday", "url": "http://logic-forall.blogspot.com/2013/02/state-oriented-linear-logic-for.html", "published_at": "2013-02-11T01:32:00+00:00" }, { "id": "01a0bb91-1225-724a-a5de-e9744c9f7416", "title": "Simple Implicatives", "url": "https://logic-forall.blogspot.com/2013/02/simple-implicatives.html", "published_at": "2013-02-10T16:23:00+00:00" }, { "id": "01a0bb91-1675-717a-ad4c-4f766dd23c57", "title": "Simple Implicatives", "url": "http://logic-forall.blogspot.com/2013/02/simple-implicatives.html", "published_at": "2013-02-10T16:23:00+00:00" }, { "id": "01a0bb91-1225-724a-a5de-e9744d14c174", "title": "New Orleans: Here we go...", "url": "https://logic-forall.blogspot.com/2013/02/new-orleans-here-we-go.html", "published_at": "2013-02-10T02:23:00+00:00" }, { "id": "01a0bb91-1675-717a-ad4c-4f766ebf0b9d", "title": "New Orleans: Here we go...", "url": "http://logic-forall.blogspot.com/2013/02/new-orleans-here-we-go.html", "published_at": "2013-02-10T02:23:00+00:00" }, { "id": "01a0bb91-1225-724a-a5de-e9744e0520c6", "title": "CSL twenty years later...", "url": "https://logic-forall.blogspot.com/2013/01/csl-twenty-years-later.html", "published_at": "2013-01-23T06:43:00+00:00" }, { "id": "01a0bb91-1675-717a-ad4c-4f766f414c17", "title": "CSL twenty years later...", "url": "http://logic-forall.blogspot.com/2013/01/csl-twenty-years-later.html", "published_at": "2013-01-23T06:43:00+00:00" }, { "id": "01a0bb91-1225-724a-a5de-e9744e291a7d", "title": "This week in Categorical Logic: a Baez celebration of sorts...", "url": "https://logic-forall.blogspot.com/2013/01/this-week-in-categorical-logic-baez.html", "published_at": "2013-01-21T17:24:00+00:00" }, { "id": "01a0bb91-1675-717a-ad4c-4f76700c8287", "title": "This week in Categorical Logic: a Baez celebration of sorts...", "url": "http://logic-forall.blogspot.com/2013/01/this-week-in-categorical-logic-baez.html", "published_at": "2013-01-21T17:24:00+00:00" }, { "id": "01a0bb91-1225-724a-a5de-e9744edc80ea", "title": "Of Time and Other Disasters", "url": "https://logic-forall.blogspot.com/2013/01/of-time-and-other-disasters.html", "published_at": "2013-01-16T16:27:00+00:00" }, { "id": "01a0bb91-1675-717a-ad4c-4f7670d4ec60", "title": "Of Time and Other Disasters", "url": "http://logic-forall.blogspot.com/2013/01/of-time-and-other-disasters.html", "published_at": "2013-01-16T16:27:00+00:00" }, { "id": "01a0bb91-1225-724a-a5de-e9744f4ab3db", "title": "Stanford is beautiful in April...", "url": "https://logic-forall.blogspot.com/2013/01/stanford-is-beautiful-in-april.html", "published_at": "2013-01-12T16:39:00+00:00" }, { "id": "01a0bb91-1675-717a-ad4c-4f767116e936", "title": "Stanford is beautiful in April...", "url": "http://logic-forall.blogspot.com/2013/01/stanford-is-beautiful-in-april.html", "published_at": "2013-01-12T16:39:00+00:00" }, { "id": "01a0bb91-1225-724a-a5de-e974501fddc2", "title": "All your projects are belong to us...", "url": "https://logic-forall.blogspot.com/2013/01/all-your-projects-are-belong-to-us.html", "published_at": "2013-01-12T16:28:00+00:00" }, { "id": "01a0bb91-1675-717a-ad4c-4f7672036054", "title": "All your projects are belong to us...", "url": "http://logic-forall.blogspot.com/2013/01/all-your-projects-are-belong-to-us.html", "published_at": "2013-01-12T16:28:00+00:00" }, { "id": "01a0bb91-1225-724a-a5de-e97450e0e16c", "title": "Dick Tracy", "url": "https://logic-forall.blogspot.com/2012/11/dick-tracy.html", "published_at": "2012-11-29T14:19:00+00:00" }, { "id": "01a0bb91-1675-717a-ad4c-4f7672957df2", "title": "Dick Tracy", "url": "http://logic-forall.blogspot.com/2012/11/dick-tracy.html", "published_at": "2012-11-29T14:19:00+00:00" }, { "id": "01a0bb91-1225-724a-a5de-e97451d6c44c", "title": "Being thankful...", "url": "https://logic-forall.blogspot.com/2012/11/being-thankful.html", "published_at": "2012-11-21T14:51:00+00:00" }, { "id": "01a0bb91-1675-717a-ad4c-4f76733d1bd9", "title": "Being thankful...", "url": "http://logic-forall.blogspot.com/2012/11/being-thankful.html", "published_at": "2012-11-21T14:51:00+00:00" }, { "id": "01a0bb91-1225-724a-a5de-e97452c2c2f1", "title": "Jabuticaba? always...", "url": "https://logic-forall.blogspot.com/2012/11/jabuticaba-always.html", "published_at": "2012-11-07T13:17:00+00:00" }, { "id": "01a0bb91-1675-717a-ad4c-4f76740fd927", "title": "Jabuticaba? always...", "url": "http://logic-forall.blogspot.com/2012/11/jabuticaba-always.html", "published_at": "2012-11-07T13:17:00+00:00" }, { "id": "01a0bb91-1225-724a-a5de-e9745324c10e", "title": "Flu shot causes cold?", "url": "https://logic-forall.blogspot.com/2012/10/flu-shot-causes-cold.html", "published_at": "2012-10-28T01:55:00+00:00" }, { "id": "01a0bb91-1675-717a-ad4c-4f76748ecf20", "title": "Flu shot causes cold?", "url": "http://logic-forall.blogspot.com/2012/10/flu-shot-causes-cold.html", "published_at": "2012-10-28T01:55:00+00:00" }, { "id": "01a0bb91-1225-724a-a5de-e974539963ba", "title": "Very late Ada Lovelace Day 2012 picture...", "url": "https://logic-forall.blogspot.com/2012/10/very-late-ada-lovelace-day-picture.html", "published_at": "2012-10-27T03:37:00+00:00" }, { "id": "01a0bb91-1675-717a-ad4c-4f7674c9bc5a", "title": "Very late Ada Lovelace Day 2012 picture...", "url": "http://logic-forall.blogspot.com/2012/10/very-late-ada-lovelace-day-picture.html", "published_at": "2012-10-27T03:37:00+00:00" }, { "id": "01a0bb91-1225-724a-a5de-e974543a1348", "title": "Wayback Machine, I love you! IMLA 1999", "url": "https://logic-forall.blogspot.com/2012/10/wayback-machine-i-love-you-imla-1999.html", "published_at": "2012-10-06T23:25:00+00:00" }, { "id": "01a0bb91-1675-717a-ad4c-4f7675510939", "title": "Wayback Machine, I love you! IMLA 1999", "url": "http://logic-forall.blogspot.com/2012/10/wayback-machine-i-love-you-imla-1999.html", "published_at": "2012-10-06T23:25:00+00:00" }, { "id": "01a0bb91-1225-724a-a5de-e974551becdd", "title": "Patent win?...", "url": "https://logic-forall.blogspot.com/2012/10/patent-win.html", "published_at": "2012-10-06T21:07:00+00:00" }, { "id": "01a0bb91-1675-717a-ad4c-4f76762c6849", "title": "Patent win?...", "url": "http://logic-forall.blogspot.com/2012/10/patent-win.html", "published_at": "2012-10-06T21:07:00+00:00" }, { "id": "01a0bb9d-d8de-71c1-bb63-d7ecda9b0f95", "title": "From Quirky Case to Representing Space: AnnieFest one year later...", "url": "https://logic-forall.blogspot.com/2012/09/from-quirky-case-to-representing-space.html", "published_at": "2012-09-21T18:55:00+00:00" }, { "id": "01a0bb9d-e0ce-700b-a8f8-bbf980eb3987", "title": "From Quirky Case to Representing Space: AnnieFest one year later...", "url": "http://logic-forall.blogspot.com/2012/09/from-quirky-case-to-representing-space.html", "published_at": "2012-09-21T18:55:00+00:00" }, { "id": "01a0bb9d-d8de-71c1-bb63-d7ecdae238ed", "title": "Constructive modal logics? in the plural?", "url": "https://logic-forall.blogspot.com/2012/09/constructive-modal-logics-in-plural.html", "published_at": "2012-09-16T17:01:00+00:00" }, { "id": "01a0bb9d-e0cf-7383-b77e-f4ef06583a24", "title": "Constructive modal logics? in the plural?", "url": "http://logic-forall.blogspot.com/2012/09/constructive-modal-logics-in-plural.html", "published_at": "2012-09-16T17:01:00+00:00" }, { "id": "01a0bb9d-d8de-71c1-bb63-d7ecdb3becf5", "title": "Where's the meeting that was cancelled?", "url": "https://logic-forall.blogspot.com/2012/09/wheres-meeting-that-was-cancelled.html", "published_at": "2012-09-15T20:51:00+00:00" }, { "id": "01a0bb9d-e0cf-7383-b77e-f4ef0678e111", "title": "Where's the meeting that was cancelled?", "url": "http://logic-forall.blogspot.com/2012/09/wheres-meeting-that-was-cancelled.html", "published_at": "2012-09-15T20:51:00+00:00" }, { "id": "01a0bb9d-d8de-71c1-bb63-d7ecdc0e2c15", "title": "Why Constructive Modal Logics?", "url": "https://logic-forall.blogspot.com/2012/09/why-constructive-modal-logics.html", "published_at": "2012-09-11T01:13:00+00:00" }, { "id": "01a0bb9d-e0cf-7383-b77e-f4ef0709f8af", "title": "Why Constructive Modal Logics?", "url": "http://logic-forall.blogspot.com/2012/09/why-constructive-modal-logics.html", "published_at": "2012-09-11T01:13:00+00:00" }, { "id": "01a0bb9d-d8de-71c1-bb63-d7ecdcf816a2", "title": "Intuitionistic Modal Logics and Applications (IMLA2013)", "url": "https://logic-forall.blogspot.com/2012/09/intuitionistic-modal-logics-and.html", "published_at": "2012-09-10T18:15:00+00:00" }, { "id": "01a0bb9d-e0cf-7383-b77e-f4ef07a7e226", "title": "Intuitionistic Modal Logics and Applications (IMLA2013)", "url": "http://logic-forall.blogspot.com/2012/09/intuitionistic-modal-logics-and.html", "published_at": "2012-09-10T18:15:00+00:00" }, { "id": "01a0bb9d-d8de-71c1-bb63-d7ecdd29445e", "title": "Ideas to discuss with Elaine?", "url": "https://logic-forall.blogspot.com/2012/09/ideas-to-discuss-with-elaine.html", "published_at": "2012-09-04T23:06:00+00:00" }, { "id": "01a0bb9d-e0cf-7383-b77e-f4ef07b6de49", "title": "Ideas to discuss with Elaine?", "url": "http://logic-forall.blogspot.com/2012/09/ideas-to-discuss-with-elaine.html", "published_at": "2012-09-04T23:06:00+00:00" }, { "id": "01a0bb9d-d8de-71c1-bb63-d7ecdd499ce6", "title": "Playing with models, again...", "url": "https://logic-forall.blogspot.com/2012/08/playing-with-models-again.html", "published_at": "2012-08-22T16:54:00+00:00" }, { "id": "01a0bb9d-e0cf-7383-b77e-f4ef07dc0d2b", "title": "Playing with models, again...", "url": "http://logic-forall.blogspot.com/2012/08/playing-with-models-again.html", "published_at": "2012-08-22T16:54:00+00:00" }, { "id": "01a0bb9d-d8de-71c1-bb63-d7ecdd50b5b4", "title": "Paraty is drawing closer...", "url": "https://logic-forall.blogspot.com/2012/08/paraty-is-drawing-closer.html", "published_at": "2012-08-14T17:08:00+00:00" }, { "id": "01a0bb9d-e0cf-7383-b77e-f4ef0884f11b", "title": "Paraty is drawing closer...", "url": "http://logic-forall.blogspot.com/2012/08/paraty-is-drawing-closer.html", "published_at": "2012-08-14T17:08:00+00:00" }, { "id": "01a0bb9d-d8de-71c1-bb63-d7ecdd7c936d", "title": "Bib Woes", "url": "https://logic-forall.blogspot.com/2012/08/bib-woes.html", "published_at": "2012-08-08T15:38:00+00:00" }, { "id": "01a0bb9d-e0cf-7383-b77e-f4ef0908de30", "title": "Bib Woes", "url": "http://logic-forall.blogspot.com/2012/08/bib-woes.html", "published_at": "2012-08-08T15:38:00+00:00" }, { "id": "01a0bb9d-d8de-71c1-bb63-d7ecddfdad2d", "title": "Resources and Reasoning: a new project?", "url": "https://logic-forall.blogspot.com/2012/08/resources-and-reasoning-new-project.html", "published_at": "2012-08-05T14:24:00+00:00" }, { "id": "01a0bb9d-e0cf-7383-b77e-f4ef09b14dda", "title": "Resources and Reasoning: a new project?", "url": "http://logic-forall.blogspot.com/2012/08/resources-and-reasoning-new-project.html", "published_at": "2012-08-05T14:24:00+00:00" }, { "id": "01a0bb9d-d8de-71c1-bb63-d7ecde761a22", "title": "More on Logics and Ontologies for Portuguese", "url": "https://logic-forall.blogspot.com/2012/08/more-on-logics-and-ontologies-for.html", "published_at": "2012-08-01T16:27:00+00:00" }, { "id": "01a0bb9d-e0cf-7383-b77e-f4ef0a92863d", "title": "More on Logics and Ontologies for Portuguese", "url": "http://logic-forall.blogspot.com/2012/08/more-on-logics-and-ontologies-for.html", "published_at": "2012-08-01T16:27:00+00:00" }, { "id": "01a0bb9d-d8de-71c1-bb63-d7ecde8ff719", "title": "Existential Change Verbs?", "url": "https://logic-forall.blogspot.com/2012/07/existential-change-verbs.html", "published_at": "2012-07-29T16:29:00+00:00" }, { "id": "01a0bb9d-e0cf-7383-b77e-f4ef0aa795cb", "title": "Existential Change Verbs?", "url": "http://logic-forall.blogspot.com/2012/07/existential-change-verbs.html", "published_at": "2012-07-29T16:29:00+00:00" }, { "id": "01a0bb9d-d8de-71c1-bb63-d7ecdef268b5", "title": "OpenWN-PT is online!!", "url": "https://logic-forall.blogspot.com/2012/07/openwn-pt-is-live-yay.html", "published_at": "2012-07-27T22:45:00+00:00" }, { "id": "01a0bb9d-e0cf-7383-b77e-f4ef0b9e7718", "title": "OpenWN-PT is online!!", "url": "http://logic-forall.blogspot.com/2012/07/openwn-pt-is-live-yay.html", "published_at": "2012-07-27T22:45:00+00:00" }, { "id": "01a0bb9d-d8de-71c1-bb63-d7ecdf9dc86f", "title": "Language and Natural Reasoning", "url": "https://logic-forall.blogspot.com/2012/07/language-and-natural-reasoning.html", "published_at": "2012-07-25T02:15:00+00:00" }, { "id": "01a0bb9d-e0cf-7383-b77e-f4ef0c3e6510", "title": "Language and Natural Reasoning", "url": "http://logic-forall.blogspot.com/2012/07/language-and-natural-reasoning.html", "published_at": "2012-07-25T02:15:00+00:00" }, { "id": "01a0bb9d-d8de-71c1-bb63-d7ecdfde3e1d", "title": "Women in Logic? Yes!", "url": "https://logic-forall.blogspot.com/2012/07/women-in-logic-yes.html", "published_at": "2012-07-25T01:53:00+00:00" }, { "id": "01a0bb9d-e0cf-7383-b77e-f4ef0cd95e18", "title": "Women in Logic? Yes!", "url": "http://logic-forall.blogspot.com/2012/07/women-in-logic-yes.html", "published_at": "2012-07-25T01:53:00+00:00" }, { "id": "01a0bb9d-d8de-71c1-bb63-d7ece0bbbe48", "title": "Fuzzy Sets in Brazil", "url": "https://logic-forall.blogspot.com/2012/07/fuzzy-sets-in-brazil.html", "published_at": "2012-07-23T05:40:00+00:00" }, { "id": "01a0bb9d-e0cf-7383-b77e-f4ef0dbf51ea", "title": "Fuzzy Sets in Brazil", "url": "http://logic-forall.blogspot.com/2012/07/fuzzy-sets-in-brazil.html", "published_at": "2012-07-23T05:40:00+00:00" }, { "id": "01a0bb9d-d8de-71c1-bb63-d7ece14ee76d", "title": "Computing in Tunisia?", "url": "https://logic-forall.blogspot.com/2012/07/computing-in-tunisia.html", "published_at": "2012-07-23T04:55:00+00:00" }, { "id": "01a0bb9d-e0cf-7383-b77e-f4ef0e4d0386", "title": "Computing in Tunisia?", "url": "http://logic-forall.blogspot.com/2012/07/computing-in-tunisia.html", "published_at": "2012-07-23T04:55:00+00:00" }, { "id": "01a0bb9d-d8de-71c1-bb63-d7ece1df3bc7", "title": "Lambek Calculus and Dialectica Categories", "url": "https://logic-forall.blogspot.com/2012/07/lambek-calculus-and-dialectica.html", "published_at": "2012-07-20T23:32:00+00:00" }, { "id": "01a0bb9d-e0cf-7383-b77e-f4ef0e618845", "title": "Lambek Calculus and Dialectica Categories", "url": "http://logic-forall.blogspot.com/2012/07/lambek-calculus-and-dialectica.html", "published_at": "2012-07-20T23:32:00+00:00" }, { "id": "01a0bb9d-d8de-71c1-bb63-d7ece22ca782", "title": "Kinds of Categorical Fuzzy Sets", "url": "https://logic-forall.blogspot.com/2012/07/kinds-of-categorical-fuzzy-sets.html", "published_at": "2012-07-19T04:52:00+00:00" }, { "id": "01a0bb9d-e0cf-7383-b77e-f4ef0e6444ad", "title": "Kinds of Categorical Fuzzy Sets", "url": "http://logic-forall.blogspot.com/2012/07/kinds-of-categorical-fuzzy-sets.html", "published_at": "2012-07-19T04:52:00+00:00" }, { "id": "01a0bb9d-d8de-71c1-bb63-d7ece27b5c7b", "title": "Reading about Univalent Foundations", "url": "https://logic-forall.blogspot.com/2012/07/reading-about-univalent-foundations.html", "published_at": "2012-07-17T22:41:00+00:00" }, { "id": "01a0bb9d-e0cf-7383-b77e-f4ef0e7296ec", "title": "Reading about Univalent Foundations", "url": "http://logic-forall.blogspot.com/2012/07/reading-about-univalent-foundations.html", "published_at": "2012-07-17T22:41:00+00:00" }, { "id": "01a0bb9d-d8de-71c1-bb63-d7ece36591d4", "title": "Univalent Foundations? Go Voevodsky!", "url": "https://logic-forall.blogspot.com/2012/07/univalent-foundations-go-voevodsky.html", "published_at": "2012-07-17T18:57:00+00:00" }, { "id": "01a0bb9d-e0cf-7383-b77e-f4ef0e929cdb", "title": "Univalent Foundations? Go Voevodsky!", "url": "http://logic-forall.blogspot.com/2012/07/univalent-foundations-go-voevodsky.html", "published_at": "2012-07-17T18:57:00+00:00" }, { "id": "01a0bb9d-d8de-71c1-bb63-d7ece3eb6e27", "title": "More on why Infinite Possibilities was so cool..", "url": "https://logic-forall.blogspot.com/2012/07/more-on-why-infinite-possibilities-was.html", "published_at": "2012-07-16T19:44:00+00:00" }, { "id": "01a0bb9d-e0cf-7383-b77e-f4ef0ed2a3e2", "title": "More on why Infinite Possibilities was so cool..", "url": "http://logic-forall.blogspot.com/2012/07/more-on-why-infinite-possibilities-was.html", "published_at": "2012-07-16T19:44:00+00:00" }, { "id": "01a0bb9d-d8de-71c1-bb63-d7ece4545367", "title": "Paraty 2012", "url": "https://logic-forall.blogspot.com/2012/07/paraty-2012.html", "published_at": "2012-07-15T21:16:00+00:00" }, { "id": "01a0bb9d-e0cf-7383-b77e-f4ef0f7e7b24", "title": "Paraty 2012", "url": "http://logic-forall.blogspot.com/2012/07/paraty-2012.html", "published_at": "2012-07-15T21:16:00+00:00" }, { "id": "01a0bb9d-d8de-71c1-bb63-d7ece525a0b8", "title": "Intuitionistic Modal Logic and Applications 2011 Nancy, France", "url": "https://logic-forall.blogspot.com/2012/07/intuitionistic-modal-logic-and.html", "published_at": "2012-07-14T21:41:00+00:00" }, { "id": "01a0bb9d-e0cf-7383-b77e-f4ef0fc2ecf7", "title": "Intuitionistic Modal Logic and Applications 2011 Nancy, France", "url": "http://logic-forall.blogspot.com/2012/07/intuitionistic-modal-logic-and.html", "published_at": "2012-07-14T21:41:00+00:00" }, { "id": "01a0bb9d-d8de-71c1-bb63-d7ece5d88d9d", "title": "Party at NASSLLI?", "url": "https://logic-forall.blogspot.com/2012/07/party-at-nasslli.html", "published_at": "2012-07-08T22:01:00+00:00" }, { "id": "01a0bb9d-e0cf-7383-b77e-f4ef0fe01b42", "title": "Party at NASSLLI?", "url": "http://logic-forall.blogspot.com/2012/07/party-at-nasslli.html", "published_at": "2012-07-08T22:01: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

2013

Unilog 2013 is approachingoriginal ↗
11 Mar 2013
Unilog 2013 is approachingoriginal ↗
11 Mar 2013
Weyl and trying to do too muchoriginal ↗
11 Mar 2013
Weyl and trying to do too muchoriginal ↗
11 Mar 2013
Measuring stufforiginal ↗
9 Mar 2013
Measuring stufforiginal ↗
9 Mar 2013
graphical deduction? seriously...?original ↗
28 Feb 2013
graphical deduction? seriously...?original ↗
28 Feb 2013
Yay! The book is out...original ↗
26 Feb 2013
Yay! The book is out...original ↗
26 Feb 2013
Five finger exerciseoriginal ↗
24 Feb 2013
Five finger exerciseoriginal ↗
24 Feb 2013
Cecilia Payne: fantastic astronomer that you've never heard about before?original ↗
23 Feb 2013
Cecilia Payne: fantastic astronomer that you've never heard about before?original ↗
23 Feb 2013
Great job Bob Rosebrugh and TAC !original ↗
18 Feb 2013
Great job Bob Rosebrugh and TAC !original ↗
18 Feb 2013
Where's the meeting that was cancelled? once again...original ↗
12 Feb 2013
Where's the meeting that was cancelled? once again...original ↗
12 Feb 2013
Constructive Modal Logic for Walter's Festoriginal ↗
11 Feb 2013
Constructive Modal Logic for Walter's Festoriginal ↗
11 Feb 2013
State Oriented Linear Logic: for Hermann's birthdayoriginal ↗
11 Feb 2013
State Oriented Linear Logic: for Hermann's birthdayoriginal ↗
11 Feb 2013
Simple Implicativesoriginal ↗
10 Feb 2013
Simple Implicativesoriginal ↗
10 Feb 2013
New Orleans: Here we go...original ↗
10 Feb 2013
New Orleans: Here we go...original ↗
10 Feb 2013
CSL twenty years later...original ↗
23 Jan 2013
CSL twenty years later...original ↗
23 Jan 2013
This week in Categorical Logic: a Baez celebration of sorts...original ↗
21 Jan 2013
This week in Categorical Logic: a Baez celebration of sorts...original ↗
21 Jan 2013
Of Time and Other Disastersoriginal ↗
16 Jan 2013
Of Time and Other Disastersoriginal ↗
16 Jan 2013
Stanford is beautiful in April...original ↗
12 Jan 2013
Stanford is beautiful in April...original ↗
12 Jan 2013
All your projects are belong to us...original ↗
12 Jan 2013
All your projects are belong to us...original ↗
12 Jan 2013

2012

Dick Tracyoriginal ↗
29 Nov 2012
Dick Tracyoriginal ↗
29 Nov 2012
Being thankful...original ↗
21 Nov 2012
Being thankful...original ↗
21 Nov 2012
Jabuticaba? always...original ↗
7 Nov 2012
Jabuticaba? always...original ↗
7 Nov 2012
Flu shot causes cold?original ↗
28 Oct 2012
Flu shot causes cold?original ↗
28 Oct 2012
Very late Ada Lovelace Day 2012 picture...original ↗
27 Oct 2012
Very late Ada Lovelace Day 2012 picture...original ↗
27 Oct 2012
Wayback Machine, I love you! IMLA 1999original ↗
6 Oct 2012
Wayback Machine, I love you! IMLA 1999original ↗
6 Oct 2012
Patent win?...original ↗
6 Oct 2012
Patent win?...original ↗
6 Oct 2012
From Quirky Case to Representing Space: AnnieFest one year later...original ↗
21 Sept 2012
From Quirky Case to Representing Space: AnnieFest one year later...original ↗
21 Sept 2012
Constructive modal logics? in the plural?original ↗
16 Sept 2012
Constructive modal logics? in the plural?original ↗
16 Sept 2012
Where's the meeting that was cancelled?original ↗
15 Sept 2012
Where's the meeting that was cancelled?original ↗
15 Sept 2012
Why Constructive Modal Logics?original ↗
11 Sept 2012
Why Constructive Modal Logics?original ↗
11 Sept 2012
Intuitionistic Modal Logics and Applications (IMLA2013)original ↗
10 Sept 2012
Intuitionistic Modal Logics and Applications (IMLA2013)original ↗
10 Sept 2012
Ideas to discuss with Elaine?original ↗
4 Sept 2012
Ideas to discuss with Elaine?original ↗
4 Sept 2012
Playing with models, again...original ↗
22 Aug 2012
Playing with models, again...original ↗
22 Aug 2012
Paraty is drawing closer...original ↗
14 Aug 2012
Paraty is drawing closer...original ↗
14 Aug 2012
Bib Woesoriginal ↗
8 Aug 2012
Bib Woesoriginal ↗
8 Aug 2012
Resources and Reasoning: a new project?original ↗
5 Aug 2012
Resources and Reasoning: a new project?original ↗
5 Aug 2012
More on Logics and Ontologies for Portugueseoriginal ↗
1 Aug 2012
More on Logics and Ontologies for Portugueseoriginal ↗
1 Aug 2012
Existential Change Verbs?original ↗
29 Jul 2012
Existential Change Verbs?original ↗
29 Jul 2012
OpenWN-PT is online!!original ↗
27 Jul 2012
OpenWN-PT is online!!original ↗
27 Jul 2012
Language and Natural Reasoningoriginal ↗
25 Jul 2012
Language and Natural Reasoningoriginal ↗
25 Jul 2012
Women in Logic? Yes!original ↗
25 Jul 2012
Women in Logic? Yes!original ↗
25 Jul 2012
Fuzzy Sets in Braziloriginal ↗
23 Jul 2012
Fuzzy Sets in Braziloriginal ↗
23 Jul 2012
Computing in Tunisia?original ↗
23 Jul 2012
Computing in Tunisia?original ↗
23 Jul 2012
Lambek Calculus and Dialectica Categoriesoriginal ↗
20 Jul 2012
Lambek Calculus and Dialectica Categoriesoriginal ↗
20 Jul 2012
Kinds of Categorical Fuzzy Setsoriginal ↗
19 Jul 2012
Kinds of Categorical Fuzzy Setsoriginal ↗
19 Jul 2012
Reading about Univalent Foundationsoriginal ↗
17 Jul 2012
Reading about Univalent Foundationsoriginal ↗
17 Jul 2012
Univalent Foundations? Go Voevodsky!original ↗
17 Jul 2012
Univalent Foundations? Go Voevodsky!original ↗
17 Jul 2012
More on why Infinite Possibilities was so cool..original ↗
16 Jul 2012
More on why Infinite Possibilities was so cool..original ↗
16 Jul 2012
Paraty 2012original ↗
15 Jul 2012
Paraty 2012original ↗
15 Jul 2012
Intuitionistic Modal Logic and Applications 2011 Nancy, Franceoriginal ↗
14 Jul 2012
Intuitionistic Modal Logic and Applications 2011 Nancy, Franceoriginal ↗
14 Jul 2012
Party at NASSLLI?original ↗
8 Jul 2012
Party at NASSLLI?original ↗
8 Jul 2012
Previous Next