corpus.blog
41554 blogs · [ { "id": "01a0bb80-9af9-73b4-914a-97e0c326a114", "title": "Implicative Lexicon? Yes!", "url": "https://logic-forall.blogspot.com/2014/04/implicative-lexicon-yes.html", "published_at": "2014-04-21T14:03:00+00:00" }, { "id": "01a0bb80-9c87-70eb-af5f-603cca7cc619", "title": "Implicative Lexicon? Yes!", "url": "http://logic-forall.blogspot.com/2014/04/implicative-lexicon-yes.html", "published_at": "2014-04-21T14:03:00+00:00" }, { "id": "01a0bb80-9af9-73b4-914a-97e0c406d4bf", "title": "Tasks of Proof Theory?", "url": "https://logic-forall.blogspot.com/2014/04/tasks-of-proof-theory.html", "published_at": "2014-04-17T00:57:00+00:00" }, { "id": "01a0bb80-9c87-70eb-af5f-603ccb716eb7", "title": "Tasks of Proof Theory?", "url": "http://logic-forall.blogspot.com/2014/04/tasks-of-proof-theory.html", "published_at": "2014-04-17T00:57:00+00:00" }, { "id": "01a0bb80-9af9-73b4-914a-97e0c4b18a5c", "title": "Lead and Crime", "url": "https://logic-forall.blogspot.com/2014/03/lead-and-crime.html", "published_at": "2014-03-27T15:32:00+00:00" }, { "id": "01a0bb80-9c87-70eb-af5f-603ccc57d5a1", "title": "Lead and Crime", "url": "http://logic-forall.blogspot.com/2014/03/lead-and-crime.html", "published_at": "2014-03-27T15:32:00+00:00" }, { "id": "01a0bb80-9af9-73b4-914a-97e0c506d939", "title": "Wow! the book is out!", "url": "https://logic-forall.blogspot.com/2014/03/wow-book-is-out.html", "published_at": "2014-03-06T14:46:00+00:00" }, { "id": "01a0bb80-9c87-70eb-af5f-603cccac51d0", "title": "Wow! the book is out!", "url": "http://logic-forall.blogspot.com/2014/03/wow-book-is-out.html", "published_at": "2014-03-06T14:46:00+00:00" }, { "id": "01a0bb80-9af9-73b4-914a-97e0c5fb73aa", "title": "Global WordNet Conference 2014", "url": "https://logic-forall.blogspot.com/2014/02/global-wordnet-conference-2014.html", "published_at": "2014-02-22T19:40:00+00:00" }, { "id": "01a0bb80-9c87-70eb-af5f-603ccd9e1fc1", "title": "Global WordNet Conference 2014", "url": "http://logic-forall.blogspot.com/2014/02/global-wordnet-conference-2014.html", "published_at": "2014-02-22T19:40:00+00:00" }, { "id": "01a0bb80-9af9-73b4-914a-97e0c6c3de96", "title": "Subtyping, oh subtyping, where art thou?...", "url": "https://logic-forall.blogspot.com/2014/02/subtyping-oh-subtyping-where-art-thou.html", "published_at": "2014-02-16T18:46:00+00:00" }, { "id": "01a0bb80-9c87-70eb-af5f-603cce3ec8f1", "title": "Subtyping, oh subtyping, where art thou?...", "url": "http://logic-forall.blogspot.com/2014/02/subtyping-oh-subtyping-where-art-thou.html", "published_at": "2014-02-16T18:46:00+00:00" }, { "id": "01a0bb80-9af9-73b4-914a-97e0c76bc2c9", "title": "Angry that...", "url": "https://logic-forall.blogspot.com/2014/02/angry-that.html", "published_at": "2014-02-16T04:09:00+00:00" }, { "id": "01a0bb80-9c87-70eb-af5f-603cce79bc4e", "title": "Angry that...", "url": "http://logic-forall.blogspot.com/2014/02/angry-that.html", "published_at": "2014-02-16T04:09:00+00:00" }, { "id": "01a0bb80-9af9-73b4-914a-97e0c80ba3e1", "title": "Workshops I am organizing this year", "url": "https://logic-forall.blogspot.com/2014/02/workshops-i-am-organizing-this-year.html", "published_at": "2014-02-12T07:04:00+00:00" }, { "id": "01a0bb80-9c87-70eb-af5f-603cce8e7d44", "title": "Workshops I am organizing this year", "url": "http://logic-forall.blogspot.com/2014/02/workshops-i-am-organizing-this-year.html", "published_at": "2014-02-12T07:04:00+00:00" }, { "id": "01a0bb80-9af9-73b4-914a-97e0c849188c", "title": "Me in YouTube?! oh my...", "url": "https://logic-forall.blogspot.com/2014/02/me-in-youtube-oh-my.html", "published_at": "2014-02-05T13:47:00+00:00" }, { "id": "01a0bb80-9c87-70eb-af5f-603cce91d4d8", "title": "Me in YouTube?! oh my...", "url": "http://logic-forall.blogspot.com/2014/02/me-in-youtube-oh-my.html", "published_at": "2014-02-05T13:47:00+00:00" }, { "id": "01a0bb80-9af9-73b4-914a-97e0c86adfc3", "title": "Is Category Theory Constructive?", "url": "https://logic-forall.blogspot.com/2014/01/when-it-rains-in-rio-it-rains.html", "published_at": "2014-01-28T22:14:00+00:00" }, { "id": "01a0bb80-9c87-70eb-af5f-603ccf791c9e", "title": "Is Category Theory Constructive?", "url": "http://logic-forall.blogspot.com/2014/01/when-it-rains-in-rio-it-rains.html", "published_at": "2014-01-28T22:14:00+00:00" }, { "id": "01a0bb80-9af9-73b4-914a-97e0c8b5fcf6", "title": "(Belated) Happy New Year!", "url": "https://logic-forall.blogspot.com/2014/01/belated-happy-new-year.html", "published_at": "2014-01-08T23:20:00+00:00" }, { "id": "01a0bb80-9c87-70eb-af5f-603ccfa02fa2", "title": "(Belated) Happy New Year!", "url": "http://logic-forall.blogspot.com/2014/01/belated-happy-new-year.html", "published_at": "2014-01-08T23:20:00+00:00" }, { "id": "01a0bb80-9af9-73b4-914a-97e0c90308c2", "title": "Variable Set Theory?", "url": "https://logic-forall.blogspot.com/2013/12/variable-set-theory.html", "published_at": "2013-12-15T20:45:00+00:00" }, { "id": "01a0bb80-9c87-70eb-af5f-603ccfcdc09a", "title": "Variable Set Theory?", "url": "http://logic-forall.blogspot.com/2013/12/variable-set-theory.html", "published_at": "2013-12-15T20:45:00+00:00" }, { "id": "01a0bb80-9af9-73b4-914a-97e0c982eb43", "title": "Set Theory for the Masses", "url": "https://logic-forall.blogspot.com/2013/12/set-theory-for-masses.html", "published_at": "2013-12-04T15:42:00+00:00" }, { "id": "01a0bb80-9c87-70eb-af5f-603cd0b4651f", "title": "Set Theory for the Masses", "url": "http://logic-forall.blogspot.com/2013/12/set-theory-for-masses.html", "published_at": "2013-12-04T15:42:00+00:00" }, { "id": "01a0bb80-9af9-73b4-914a-97e0c9a09aa0", "title": "Long Mathematical Proofs?...", "url": "https://logic-forall.blogspot.com/2013/11/long-mathematical-proofs.html", "published_at": "2013-11-20T01:58:00+00:00" }, { "id": "01a0bb80-9c87-70eb-af5f-603cd0d7fc87", "title": "Long Mathematical Proofs?...", "url": "http://logic-forall.blogspot.com/2013/11/long-mathematical-proofs.html", "published_at": "2013-11-20T01:58:00+00:00" }, { "id": "01a0bb80-9af9-73b4-914a-97e0ca2f422d", "title": "8th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2013)", "url": "https://logic-forall.blogspot.com/2013/11/8th-workshop-on-logical-and-semantic.html", "published_at": "2013-11-20T01:54:00+00:00" }, { "id": "01a0bb80-9c87-70eb-af5f-603cd1b8ca3d", "title": "8th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2013)", "url": "http://logic-forall.blogspot.com/2013/11/8th-workshop-on-logical-and-semantic.html", "published_at": "2013-11-20T01:54:00+00:00" }, { "id": "01a0bb80-9af9-73b4-914a-97e0ca8b1982", "title": "Ilha Grande and All That....", "url": "https://logic-forall.blogspot.com/2013/11/ilha-grande-and-all-that.html", "published_at": "2013-11-13T13:59:00+00:00" }, { "id": "01a0bb80-9c87-70eb-af5f-603cd1cac13d", "title": "Ilha Grande and All That....", "url": "http://logic-forall.blogspot.com/2013/11/ilha-grande-and-all-that.html", "published_at": "2013-11-13T13:59:00+00:00" }, { "id": "01a0bb80-9af9-73b4-914a-97e0cb8752f4", "title": "Type Theory at EACL, yay!", "url": "https://logic-forall.blogspot.com/2013/11/type-theory-at-eacl-yay.html", "published_at": "2013-11-13T13:57:00+00:00" }, { "id": "01a0bb80-9c87-70eb-af5f-603cd25acba6", "title": "Type Theory at EACL, yay!", "url": "http://logic-forall.blogspot.com/2013/11/type-theory-at-eacl-yay.html", "published_at": "2013-11-13T13:57:00+00:00" }, { "id": "01a0bb80-9af9-73b4-914a-97e0cc0d0e01", "title": "Belated Happy Halloween...", "url": "https://logic-forall.blogspot.com/2013/11/belated-happy-halloween.html", "published_at": "2013-11-04T23:57:00+00:00" }, { "id": "01a0bb80-9c87-70eb-af5f-603cd2fd8044", "title": "Belated Happy Halloween...", "url": "http://logic-forall.blogspot.com/2013/11/belated-happy-halloween.html", "published_at": "2013-11-04T23:57:00+00:00" }, { "id": "01a0bb80-9af9-73b4-914a-97e0cc17e5f3", "title": "Peripatetic Seminar on Sheaves and Logic", "url": "https://logic-forall.blogspot.com/2013/10/peripatetic-seminar-in-logic-and-sheaves.html", "published_at": "2013-10-20T15:23:00+00:00" }, { "id": "01a0bb80-9c87-70eb-af5f-603cd3e72470", "title": "Peripatetic Seminar on Sheaves and Logic", "url": "http://logic-forall.blogspot.com/2013/10/peripatetic-seminar-in-logic-and-sheaves.html", "published_at": "2013-10-20T15:23:00+00:00" }, { "id": "01a0bb80-9af9-73b4-914a-97e0ccb41071", "title": "Ada Lovelace Day 2013...", "url": "https://logic-forall.blogspot.com/2013/10/ada-lovelace-day-2013.html", "published_at": "2013-10-19T01:06:00+00:00" }, { "id": "01a0bb80-9c87-70eb-af5f-603cd43c0ec5", "title": "Ada Lovelace Day 2013...", "url": "http://logic-forall.blogspot.com/2013/10/ada-lovelace-day-2013.html", "published_at": "2013-10-19T01:06:00+00:00" }, { "id": "01a0bb80-9af9-73b4-914a-97e0ccc30a4e", "title": "Geoglyphs: Amazonian civilization?...", "url": "https://logic-forall.blogspot.com/2013/09/geoglyphs-amazonian-civilization.html", "published_at": "2013-09-25T15:02:00+00:00" }, { "id": "01a0bb80-9c87-70eb-af5f-603cd4525b11", "title": "Geoglyphs: Amazonian civilization?...", "url": "http://logic-forall.blogspot.com/2013/09/geoglyphs-amazonian-civilization.html", "published_at": "2013-09-25T15:02:00+00:00" }, { "id": "01a0bb80-9af9-73b4-914a-97e0cd1775b7", "title": "Asking KB Questions", "url": "https://logic-forall.blogspot.com/2013/09/asking-kb-questions.html", "published_at": "2013-09-21T22:37:00+00:00" }, { "id": "01a0bb80-9c87-70eb-af5f-603cd541a15a", "title": "Asking KB Questions", "url": "http://logic-forall.blogspot.com/2013/09/asking-kb-questions.html", "published_at": "2013-09-21T22:37:00+00:00" }, { "id": "01a0bb80-9af9-73b4-914a-97e0cdcaf4a5", "title": "IMLA 2011: Nancy, France", "url": "https://logic-forall.blogspot.com/2013/08/imla-2011-nancy-france.html", "published_at": "2013-08-25T13:42:00+00:00" }, { "id": "01a0bb80-9c87-70eb-af5f-603cd5ce6d46", "title": "IMLA 2011: Nancy, France", "url": "http://logic-forall.blogspot.com/2013/08/imla-2011-nancy-france.html", "published_at": "2013-08-25T13:42:00+00:00" }, { "id": "01a0bb80-9af9-73b4-914a-97e0cde385bb", "title": "IMLA 2008: Pittsburgh", "url": "https://logic-forall.blogspot.com/2013/08/imla-2008-pittsburgh.html", "published_at": "2013-08-25T13:31:00+00:00" }, { "id": "01a0bb80-9c87-70eb-af5f-603cd6c25d88", "title": "IMLA 2008: Pittsburgh", "url": "http://logic-forall.blogspot.com/2013/08/imla-2008-pittsburgh.html", "published_at": "2013-08-25T13:31:00+00:00" }, { "id": "01a0bb80-9af9-73b4-914a-97e0ce650f6d", "title": "IMLA 2005: Chicago", "url": "https://logic-forall.blogspot.com/2013/08/imla-2005-chicago.html", "published_at": "2013-08-25T13:08:00+00:00" }, { "id": "01a0bb80-9c87-70eb-af5f-603cd72cb442", "title": "IMLA 2005: Chicago", "url": "http://logic-forall.blogspot.com/2013/08/imla-2005-chicago.html", "published_at": "2013-08-25T13:08:00+00:00" }, { "id": "01a0bb8e-3165-70c8-9b57-13035c2cb9de", "title": "IMLA 2002: Copenhagen", "url": "https://logic-forall.blogspot.com/2013/08/imla-2002-copenhagen.html", "published_at": "2013-08-25T12:03:00+00:00" }, { "id": "01a0bb8e-34b2-72ef-8970-fe87c6c78d9c", "title": "IMLA 2002: Copenhagen", "url": "http://logic-forall.blogspot.com/2013/08/imla-2002-copenhagen.html", "published_at": "2013-08-25T12:03:00+00:00" }, { "id": "01a0bb8e-3165-70c8-9b57-13035c4f6adf", "title": "Advances in Natural Deduction Wow...", "url": "https://logic-forall.blogspot.com/2013/08/advances-in-natural-deduction-wow.html", "published_at": "2013-08-18T13:54:00+00:00" }, { "id": "01a0bb8e-34b2-72ef-8970-fe87c6e0a8e3", "title": "Advances in Natural Deduction Wow...", "url": "http://logic-forall.blogspot.com/2013/08/advances-in-natural-deduction-wow.html", "published_at": "2013-08-18T13:54:00+00:00" }, { "id": "01a0bb8e-3165-70c8-9b57-13035ca7c321", "title": "Fifty Years of Categorical Logic", "url": "https://logic-forall.blogspot.com/2013/08/fifty-years-of-categorical-logic.html", "published_at": "2013-08-16T17:17:00+00:00" }, { "id": "01a0bb8e-34b2-72ef-8970-fe87c7698671", "title": "Fifty Years of Categorical Logic", "url": "http://logic-forall.blogspot.com/2013/08/fifty-years-of-categorical-logic.html", "published_at": "2013-08-16T17:17:00+00:00" }, { "id": "01a0bb8e-3165-70c8-9b57-13035d61e7b1", "title": "Crime and Lead: odd bedfellows", "url": "https://logic-forall.blogspot.com/2013/08/crime-and-lead-odd-bedfellows.html", "published_at": "2013-08-15T12:16:00+00:00" }, { "id": "01a0bb8e-34b2-72ef-8970-fe87c8659fe0", "title": "Crime and Lead: odd bedfellows", "url": "http://logic-forall.blogspot.com/2013/08/crime-and-lead-odd-bedfellows.html", "published_at": "2013-08-15T12:16:00+00:00" }, { "id": "01a0bb8e-3165-70c8-9b57-13035e5f3b72", "title": "Being in Rio", "url": "https://logic-forall.blogspot.com/2013/08/being-in-rio.html", "published_at": "2013-08-12T11:07:00+00:00" }, { "id": "01a0bb8e-34b2-72ef-8970-fe87c9654ebf", "title": "Being in Rio", "url": "http://logic-forall.blogspot.com/2013/08/being-in-rio.html", "published_at": "2013-08-12T11:07:00+00:00" }, { "id": "01a0bb8e-3165-70c8-9b57-13035e636855", "title": "Typed Feature Structures, for Rehana", "url": "https://logic-forall.blogspot.com/2013/08/typed-feature-structures-for-rehana.html", "published_at": "2013-08-07T07:10:00+00:00" }, { "id": "01a0bb8e-34b2-72ef-8970-fe87c9715d0e", "title": "Typed Feature Structures, for Rehana", "url": "http://logic-forall.blogspot.com/2013/08/typed-feature-structures-for-rehana.html", "published_at": "2013-08-07T07:10:00+00:00" }, { "id": "01a0bb8e-3165-70c8-9b57-13035ed06b54", "title": "Deverbals in Portuguese? Why not?", "url": "https://logic-forall.blogspot.com/2013/07/deverbals-in-portuguese-why-not.html", "published_at": "2013-07-31T22:48:00+00:00" }, { "id": "01a0bb8e-34b2-72ef-8970-fe87c9cf4de8", "title": "Deverbals in Portuguese? Why not?", "url": "http://logic-forall.blogspot.com/2013/07/deverbals-in-portuguese-why-not.html", "published_at": "2013-07-31T22:48:00+00:00" }, { "id": "01a0bb8e-3165-70c8-9b57-13035ef0812f", "title": "Common Sense, at last...", "url": "https://logic-forall.blogspot.com/2013/07/common-sense-at-last.html", "published_at": "2013-07-28T02:18:00+00:00" }, { "id": "01a0bb8e-34b2-72ef-8970-fe87ca19b0a6", "title": "Common Sense, at last...", "url": "http://logic-forall.blogspot.com/2013/07/common-sense-at-last.html", "published_at": "2013-07-28T02:18:00+00:00" }, { "id": "01a0bb8e-3165-70c8-9b57-13035f1ec011", "title": "Demonyms and other niceties...", "url": "https://logic-forall.blogspot.com/2013/07/demonyms-and-other-niceties.html", "published_at": "2013-07-24T06:01:00+00:00" }, { "id": "01a0bb8e-34b2-72ef-8970-fe87caf3c921", "title": "Demonyms and other niceties...", "url": "http://logic-forall.blogspot.com/2013/07/demonyms-and-other-niceties.html", "published_at": "2013-07-24T06:01:00+00:00" }, { "id": "01a0bb8e-3165-70c8-9b57-13035f3cfa68", "title": "Bridge and CommonSense", "url": "https://logic-forall.blogspot.com/2013/07/bridge-and-commonsense.html", "published_at": "2013-07-18T17:17:00+00:00" }, { "id": "01a0bb8e-34b2-72ef-8970-fe87cb14935d", "title": "Bridge and CommonSense", "url": "http://logic-forall.blogspot.com/2013/07/bridge-and-commonsense.html", "published_at": "2013-07-18T17:17:00+00:00" }, { "id": "01a0bb8e-3165-70c8-9b57-13035f48ea4d", "title": "Particles: Bah!...", "url": "https://logic-forall.blogspot.com/2013/07/particles-bah.html", "published_at": "2013-07-18T05:14:00+00:00" }, { "id": "01a0bb8e-34b2-72ef-8970-fe87cb6c865b", "title": "Particles: Bah!...", "url": "http://logic-forall.blogspot.com/2013/07/particles-bah.html", "published_at": "2013-07-18T05:14:00+00:00" }, { "id": "01a0bb8e-3165-70c8-9b57-13035f5e2559", "title": "OpenWN-PT going places...", "url": "https://logic-forall.blogspot.com/2013/07/openwn-pt-going-places.html", "published_at": "2013-07-08T07:19:00+00:00" }, { "id": "01a0bb8e-34b2-72ef-8970-fe87cb6f918a", "title": "OpenWN-PT going places...", "url": "http://logic-forall.blogspot.com/2013/07/openwn-pt-going-places.html", "published_at": "2013-07-08T07:19:00+00:00" }, { "id": "01a0bb8e-3165-70c8-9b57-1303603314fc", "title": "NLCS in New Orleans, yeah...", "url": "https://logic-forall.blogspot.com/2013/07/nlcs-in-new-orleans-yeah.html", "published_at": "2013-07-07T04:33:00+00:00" }, { "id": "01a0bb8e-34b2-72ef-8970-fe87cbcf898c", "title": "NLCS in New Orleans, yeah...", "url": "http://logic-forall.blogspot.com/2013/07/nlcs-in-new-orleans-yeah.html", "published_at": "2013-07-07T04:33:00+00:00" }, { "id": "01a0bb8e-3165-70c8-9b57-130360491b48", "title": "Taking Stock", "url": "https://logic-forall.blogspot.com/2013/06/taking-stock.html", "published_at": "2013-06-16T17:05:00+00:00" }, { "id": "01a0bb8e-34b2-72ef-8970-fe87cc456690", "title": "Taking Stock", "url": "http://logic-forall.blogspot.com/2013/06/taking-stock.html", "published_at": "2013-06-16T17:05:00+00:00" }, { "id": "01a0bb8e-3165-70c8-9b57-130360b8257d", "title": "Rationality@Stanford", "url": "https://logic-forall.blogspot.com/2013/06/rationalitystanford.html", "published_at": "2013-06-09T16:09:00+00:00" }, { "id": "01a0bb8e-34b2-72ef-8970-fe87cd0b3bf9", "title": "Rationality@Stanford", "url": "http://logic-forall.blogspot.com/2013/06/rationalitystanford.html", "published_at": "2013-06-09T16:09:00+00:00" }, { "id": "01a0bb8e-3165-70c8-9b57-13036174e6ba", "title": "Abstract Proof Theory Workshop? Proofs for Linguists!", "url": "https://logic-forall.blogspot.com/2013/05/abstract-proof-theory-workshop-proofs.html", "published_at": "2013-05-04T23:49:00+00:00" }, { "id": "01a0bb8e-34b2-72ef-8970-fe87cdee4993", "title": "Abstract Proof Theory Workshop? Proofs for Linguists!", "url": "http://logic-forall.blogspot.com/2013/05/abstract-proof-theory-workshop-proofs.html", "published_at": "2013-05-04T23:49:00+00:00" }, { "id": "01a0bb8e-3165-70c8-9b57-130361a44700", "title": "Event, Assertion and Verification Time", "url": "https://logic-forall.blogspot.com/2013/04/event-assertion-and-verification-time.html", "published_at": "2013-04-18T14:06:00+00:00" }, { "id": "01a0bb8e-34b2-72ef-8970-fe87cea38e6f", "title": "Event, Assertion and Verification Time", "url": "http://logic-forall.blogspot.com/2013/04/event-assertion-and-verification-time.html", "published_at": "2013-04-18T14:06:00+00:00" }, { "id": "01a0bb8e-3165-70c8-9b57-130361b9becc", "title": "Unilog and IMLA: Research Horizons", "url": "https://logic-forall.blogspot.com/2013/04/talks-on-work-that-is-almost-mine.html", "published_at": "2013-04-12T21:46:00+00:00" }, { "id": "01a0bb8e-34b2-72ef-8970-fe87ceddf613", "title": "Unilog and IMLA: Research Horizons", "url": "http://logic-forall.blogspot.com/2013/04/talks-on-work-that-is-almost-mine.html", "published_at": "2013-04-12T21:46:00+00:00" }, { "id": "01a0bb8e-3165-70c8-9b57-1303626f1283", "title": "Tomorrow: CSLI Workshop Perspectives on Modality", "url": "https://logic-forall.blogspot.com/2013/04/tomorrow-csli-workshop-perspectives-on.html", "published_at": "2013-04-12T02:38:00+00:00" }, { "id": "01a0bb8e-34b2-72ef-8970-fe87cede587e", "title": "Tomorrow: CSLI Workshop Perspectives on Modality", "url": "http://logic-forall.blogspot.com/2013/04/tomorrow-csli-workshop-perspectives-on.html", "published_at": "2013-04-12T02:38:00+00:00" }, { "id": "01a0bb8e-3165-70c8-9b57-1303635e0241", "title": "Linear Logic for Linguists", "url": "https://logic-forall.blogspot.com/2013/03/linear-logic-for-linguists.html", "published_at": "2013-03-31T15:53:00+00:00" }, { "id": "01a0bb8e-34b2-72ef-8970-fe87cf04dd47", "title": "Linear Logic for Linguists", "url": "http://logic-forall.blogspot.com/2013/03/linear-logic-for-linguists.html", "published_at": "2013-03-31T15:53:00+00:00" }, { "id": "01a0bb8e-3165-70c8-9b57-1303642db4ed", "title": "The Canon of Tech", "url": "https://logic-forall.blogspot.com/2013/03/the-canon-of-tech.html", "published_at": "2013-03-30T22:38:00+00:00" }, { "id": "01a0bb8e-34b2-72ef-8970-fe87cf42776f", "title": "The Canon of Tech", "url": "http://logic-forall.blogspot.com/2013/03/the-canon-of-tech.html", "published_at": "2013-03-30T22:38:00+00:00" }, { "id": "01a0bb8e-3165-70c8-9b57-130365157ea3", "title": "Temporality in Portuguese", "url": "https://logic-forall.blogspot.com/2013/03/temporality-in-portuguese.html", "published_at": "2013-03-21T20:52:00+00:00" }, { "id": "01a0bb8e-34b2-72ef-8970-fe87cf7f80fa", "title": "Temporality in Portuguese", "url": "http://logic-forall.blogspot.com/2013/03/temporality-in-portuguese.html", "published_at": "2013-03-21T20:52:00+00:00" }, { "id": "01a0bb8e-3165-70c8-9b57-130365ecdcb8", "title": "Time takes forever", "url": "https://logic-forall.blogspot.com/2013/03/time-takes-forever.html", "published_at": "2013-03-21T17:24:00+00:00" }, { "id": "01a0bb8e-34b2-72ef-8970-fe87d00599ea", "title": "Time takes forever", "url": "http://logic-forall.blogspot.com/2013/03/time-takes-forever.html", "published_at": "2013-03-21T17:24:00+00:00" }, { "id": "01a0bb8e-3165-70c8-9b57-130366855cf5", "title": "Temporality in Natural Language", "url": "https://logic-forall.blogspot.com/2013/03/temporality-in-natural-language.html", "published_at": "2013-03-21T14:08:00+00:00" }, { "id": "01a0bb8e-34b2-72ef-8970-fe87d0ba08e9", "title": "Temporality in Natural Language", "url": "http://logic-forall.blogspot.com/2013/03/temporality-in-natural-language.html", "published_at": "2013-03-21T14:08:00+00:00" }, { "id": "01a0bb8e-3165-70c8-9b57-1303673c55d2", "title": "Old work archeology...", "url": "https://logic-forall.blogspot.com/2013/03/old-work-archeology.html", "published_at": "2013-03-14T15:32:00+00:00" }, { "id": "01a0bb8e-34b2-72ef-8970-fe87d0df20ee", "title": "Old work archeology...", "url": "http://logic-forall.blogspot.com/2013/03/old-work-archeology.html", "published_at": "2013-03-14T15:32: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

2014

Implicative Lexicon? Yes!original ↗
21 Apr 2014
Implicative Lexicon? Yes!original ↗
21 Apr 2014
Tasks of Proof Theory?original ↗
17 Apr 2014
Tasks of Proof Theory?original ↗
17 Apr 2014
Lead and Crimeoriginal ↗
27 Mar 2014
Lead and Crimeoriginal ↗
27 Mar 2014
Wow! the book is out!original ↗
6 Mar 2014
Wow! the book is out!original ↗
6 Mar 2014
Global WordNet Conference 2014original ↗
22 Feb 2014
Global WordNet Conference 2014original ↗
22 Feb 2014
Subtyping, oh subtyping, where art thou?...original ↗
16 Feb 2014
Subtyping, oh subtyping, where art thou?...original ↗
16 Feb 2014
Angry that...original ↗
16 Feb 2014
Angry that...original ↗
16 Feb 2014
Workshops I am organizing this yearoriginal ↗
12 Feb 2014
Workshops I am organizing this yearoriginal ↗
12 Feb 2014
Me in YouTube?! oh my...original ↗
5 Feb 2014
Me in YouTube?! oh my...original ↗
5 Feb 2014
Is Category Theory Constructive?original ↗
28 Jan 2014
Is Category Theory Constructive?original ↗
28 Jan 2014
(Belated) Happy New Year!original ↗
8 Jan 2014
(Belated) Happy New Year!original ↗
8 Jan 2014

2013

Variable Set Theory?original ↗
15 Dec 2013
Variable Set Theory?original ↗
15 Dec 2013
Set Theory for the Massesoriginal ↗
4 Dec 2013
Set Theory for the Massesoriginal ↗
4 Dec 2013
Long Mathematical Proofs?...original ↗
20 Nov 2013
Long Mathematical Proofs?...original ↗
20 Nov 2013
8th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2013)original ↗
20 Nov 2013
8th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2013)original ↗
20 Nov 2013
Ilha Grande and All That....original ↗
13 Nov 2013
Ilha Grande and All That....original ↗
13 Nov 2013
Type Theory at EACL, yay!original ↗
13 Nov 2013
Type Theory at EACL, yay!original ↗
13 Nov 2013
Belated Happy Halloween...original ↗
4 Nov 2013
Belated Happy Halloween...original ↗
4 Nov 2013
Peripatetic Seminar on Sheaves and Logicoriginal ↗
20 Oct 2013
Peripatetic Seminar on Sheaves and Logicoriginal ↗
20 Oct 2013
Ada Lovelace Day 2013...original ↗
19 Oct 2013
Ada Lovelace Day 2013...original ↗
19 Oct 2013
Geoglyphs: Amazonian civilization?...original ↗
25 Sept 2013
Geoglyphs: Amazonian civilization?...original ↗
25 Sept 2013
Asking KB Questionsoriginal ↗
21 Sept 2013
Asking KB Questionsoriginal ↗
21 Sept 2013
IMLA 2011: Nancy, Franceoriginal ↗
25 Aug 2013
IMLA 2011: Nancy, Franceoriginal ↗
25 Aug 2013
IMLA 2008: Pittsburghoriginal ↗
25 Aug 2013
IMLA 2008: Pittsburghoriginal ↗
25 Aug 2013
IMLA 2005: Chicagooriginal ↗
25 Aug 2013
IMLA 2005: Chicagooriginal ↗
25 Aug 2013
IMLA 2002: Copenhagenoriginal ↗
25 Aug 2013
IMLA 2002: Copenhagenoriginal ↗
25 Aug 2013
Advances in Natural Deduction Wow...original ↗
18 Aug 2013
Advances in Natural Deduction Wow...original ↗
18 Aug 2013
Fifty Years of Categorical Logicoriginal ↗
16 Aug 2013
Fifty Years of Categorical Logicoriginal ↗
16 Aug 2013
Crime and Lead: odd bedfellowsoriginal ↗
15 Aug 2013
Crime and Lead: odd bedfellowsoriginal ↗
15 Aug 2013
Being in Riooriginal ↗
12 Aug 2013
Being in Riooriginal ↗
12 Aug 2013
Typed Feature Structures, for Rehanaoriginal ↗
7 Aug 2013
Typed Feature Structures, for Rehanaoriginal ↗
7 Aug 2013
Deverbals in Portuguese? Why not?original ↗
31 Jul 2013
Deverbals in Portuguese? Why not?original ↗
31 Jul 2013
Common Sense, at last...original ↗
28 Jul 2013
Common Sense, at last...original ↗
28 Jul 2013
Demonyms and other niceties...original ↗
24 Jul 2013
Demonyms and other niceties...original ↗
24 Jul 2013
Bridge and CommonSenseoriginal ↗
18 Jul 2013
Bridge and CommonSenseoriginal ↗
18 Jul 2013
Particles: Bah!...original ↗
18 Jul 2013
Particles: Bah!...original ↗
18 Jul 2013
OpenWN-PT going places...original ↗
8 Jul 2013
OpenWN-PT going places...original ↗
8 Jul 2013
NLCS in New Orleans, yeah...original ↗
7 Jul 2013
NLCS in New Orleans, yeah...original ↗
7 Jul 2013
Taking Stockoriginal ↗
16 Jun 2013
Taking Stockoriginal ↗
16 Jun 2013
Rationality@Stanfordoriginal ↗
9 Jun 2013
Rationality@Stanfordoriginal ↗
9 Jun 2013
Abstract Proof Theory Workshop? Proofs for Linguists!original ↗
4 May 2013
Abstract Proof Theory Workshop? Proofs for Linguists!original ↗
4 May 2013
Event, Assertion and Verification Timeoriginal ↗
18 Apr 2013
Event, Assertion and Verification Timeoriginal ↗
18 Apr 2013
Unilog and IMLA: Research Horizonsoriginal ↗
12 Apr 2013
Unilog and IMLA: Research Horizonsoriginal ↗
12 Apr 2013
Tomorrow: CSLI Workshop Perspectives on Modalityoriginal ↗
12 Apr 2013
Tomorrow: CSLI Workshop Perspectives on Modalityoriginal ↗
12 Apr 2013
Linear Logic for Linguistsoriginal ↗
31 Mar 2013
Linear Logic for Linguistsoriginal ↗
31 Mar 2013
The Canon of Techoriginal ↗
30 Mar 2013
The Canon of Techoriginal ↗
30 Mar 2013
Temporality in Portugueseoriginal ↗
21 Mar 2013
Temporality in Portugueseoriginal ↗
21 Mar 2013
Time takes foreveroriginal ↗
21 Mar 2013
Time takes foreveroriginal ↗
21 Mar 2013
Temporality in Natural Languageoriginal ↗
21 Mar 2013
Temporality in Natural Languageoriginal ↗
21 Mar 2013
Old work archeology...original ↗
14 Mar 2013
Old work archeology...original ↗
14 Mar 2013
Previous Next