Groups
Conversations
All groups and messages
Send feedback to Google
Help
Training
Sign in
Groups
One Logic
Conversations
About
One Logic
Contact owners and managers
1–30 of 39
Mark all as read
Report group
0 selected
YKY (Yan King Yin, 甄景贤)
,
Russell Wallace
6
4/8/11
quantifiers
On Fri, Apr 8, 2011 at 9:08 PM, Russell Wallace <russell...@gmail.com> wrote: > 2. >
unread,
quantifiers
On Fri, Apr 8, 2011 at 9:08 PM, Russell Wallace <russell...@gmail.com> wrote: > 2. >
4/8/11
Russell Wallace
,
Abram Demski
26
2/22/11
Semantics of typed lambda calculus
What it means is that you need to make sure that any additional typing axioms which you add are of
unread,
Semantics of typed lambda calculus
What it means is that you need to make sure that any additional typing axioms which you add are of
2/22/11
Russell Wallace
,
Abram Demski
4
2/18/11
Numbers and subtypes
Russel, Nah, not missing anything, I'm just being impractical, thinking about how numbers would
unread,
Numbers and subtypes
Russel, Nah, not missing anything, I'm just being impractical, thinking about how numbers would
2/18/11
ARCOE
2/16/11
Journal of Web Semantics - Special Issue on Reasoning with context in the Semantic Web
Sincere apologies for cross-posts. Call for Papers: ================================================
unread,
Journal of Web Semantics - Special Issue on Reasoning with context in the Semantic Web
Sincere apologies for cross-posts. Call for Papers: ================================================
2/16/11
Russell Wallace
,
Abram Demski
8
2/3/11
Combinator logic and types
Okay, for the sake of definiteness lets say our reference logic system is HOL Light; it seems to be
unread,
Combinator logic and types
Okay, for the sake of definiteness lets say our reference logic system is HOL Light; it seems to be
2/3/11
Russell Wallace
,
Abram Demski
12
1/31/11
Constants and variables in first-order logic
Basically yes. Universal and existential statements get translated into lambda: ![X]: p(X) translates
unread,
Constants and variables in first-order logic
Basically yes. Universal and existential statements get translated into lambda: ![X]: p(X) translates
1/31/11
ARCOE
1/11/11
Announcement of ARCOE workshop
Sincere apologies for multiple postings. ======================= CALL FOR PAPERS ARCOE-11 at IJCAI-11
unread,
Announcement of ARCOE workshop
Sincere apologies for multiple postings. ======================= CALL FOR PAPERS ARCOE-11 at IJCAI-11
1/11/11
Abram Demski
11/28/10
Probabilistic Foundations
Hi all, An interesting paper arguing that probability theory is a replacement for logic. http://www.
unread,
Probabilistic Foundations
Hi all, An interesting paper arguing that probability theory is a replacement for logic. http://www.
11/28/10
Abram Demski
, …
YKY (Yan King Yin, 甄景贤)
5
11/28/10
Cantini's "Logical Frameworks"
On Sat, Nov 27, 2010 at 8:37 PM, Ernesto Posse <epo...@cs.queensu.ca> wrote: As with Fuzzy
unread,
Cantini's "Logical Frameworks"
On Sat, Nov 27, 2010 at 8:37 PM, Ernesto Posse <epo...@cs.queensu.ca> wrote: As with Fuzzy
11/28/10
Abram Demski
8/5/10
Logic Systems
Hi all, I wrote up my current thoughts on logical systems: http://lo-tho.blogspot.com/2010/08/logical
unread,
Logic Systems
Hi all, I wrote up my current thoughts on logical systems: http://lo-tho.blogspot.com/2010/08/logical
8/5/10
Abram Demski
7/8/10
Consistent Higher-order IG
Hi all, Russel, Luke and I have talked about systems IXI and IG in the past. Recently I've had
unread,
Consistent Higher-order IG
Hi all, Russel, Luke and I have talked about systems IXI and IG in the past. Recently I've had
7/8/10
eposse
,
Abram Demski
7
7/4/10
intuitionism, LEM and infinity
On Sun, Jul 4, 2010 at 1:41 AM, Abram Demski <abram...@gmail.com> wrote: > >> >
unread,
intuitionism, LEM and infinity
On Sun, Jul 4, 2010 at 1:41 AM, Abram Demski <abram...@gmail.com> wrote: > >> >
7/4/10
Abram Demski
5/8/10
[one-logic] "action logic"
Hi all, I've written up some musings on merging logical and programming.... http://lo-tho.
unread,
[one-logic] "action logic"
Hi all, I've written up some musings on merging logical and programming.... http://lo-tho.
5/8/10
Abram Demski
,
YKY (Yan King Yin, 甄景贤)
6
2/2/10
lambda logic
On Tue, Feb 2, 2010 at 12:48 PM, Abram Demski <abram...@gmail.com> wrote: > The search
unread,
lambda logic
On Tue, Feb 2, 2010 at 12:48 PM, Abram Demski <abram...@gmail.com> wrote: > The search
2/2/10
Abram Demski
1/19/10
Re: Term rewriting
Russel, YKY, all, My evaluation of the Maude language, which I've spent most of today studying.
unread,
Re: Term rewriting
Russel, YKY, all, My evaluation of the Maude language, which I've spent most of today studying.
1/19/10
Abram Demski
,
Luke Palmer
3
12/26/09
completeness of equality for well-defined functions
Luke, Hmm, is it possible to test whether something is a number or not, in an always-terminating way?
unread,
completeness of equality for well-defined functions
Luke, Hmm, is it possible to test whether something is a number or not, in an always-terminating way?
12/26/09
Russell Wallace
,
Abram Demski
5
12/23/09
Higher-order unification
Russel, Ah. :) I just got to the part about Huet's lemma. Nevermind what I said about flexible
unread,
Higher-order unification
Russel, Ah. :) I just got to the part about Huet's lemma. Nevermind what I said about flexible
12/23/09
Abram Demski
,
Laura Campbell
3
11/25/09
Google Wave
You've been invited. I don't know when you will get in, though-- Google's process has
unread,
Google Wave
You've been invited. I don't know when you will get in, though-- Google's process has
11/25/09
YKY (Yan King Yin, 甄景贤)
, …
Abram Demski
6
10/19/09
a possible solution to the Strengthened Liar's Paradox
YKY What's your answer to these? S6: S6 is true. S7: S7 is true or false. In other words, when a
unread,
a possible solution to the Strengthened Liar's Paradox
YKY What's your answer to these? S6: S6 is true. S7: S7 is true or false. In other words, when a
10/19/09
YKY (Yan King Yin, 甄景贤)
,
Abram Demski
9
10/16/09
operational semantics
On Fri, Oct 16, 2009 at 6:10 AM, Abram Demski <abram...@gmail.com> wrote: > Yea, what I
unread,
operational semantics
On Fri, Oct 16, 2009 at 6:10 AM, Abram Demski <abram...@gmail.com> wrote: > Yea, what I
10/16/09
zuhair
10/15/09
Naming Set Theory Interprets NFU
Dear Sirs, -The following is and exposition of Naming Set Theory "NST" -Below it are the
unread,
Naming Set Theory Interprets NFU
Dear Sirs, -The following is and exposition of Naming Set Theory "NST" -Below it are the
10/15/09
[LINK] == http://www.meami.org
, …
Abram Demski
6
10/4/09
Truth Must Exist Independent of Observation or Truth Does Not Exist
Vladimir, My guess: grab a rant from an apparently related blog. Maybe the search engine that's
unread,
Truth Must Exist Independent of Observation or Truth Does Not Exist
Vladimir, My guess: grab a rant from an apparently related blog. Maybe the search engine that's
10/4/09
zuhair
,
Abram Demski
10
10/1/09
Observations in a premature theory of names.
On Oct 1, 9:38 am, Abram Demski <abramdem...@gmail.com> wrote: > Zuhair, > > That is a
unread,
Observations in a premature theory of names.
On Oct 1, 9:38 am, Abram Demski <abramdem...@gmail.com> wrote: > Zuhair, > > That is a
10/1/09
YKY (Yan King Yin, 甄景贤)
, …
Abram Demski
17
10/1/09
nonmonotonicity
Russel, Fair point. The "saving all the results" part of the system is just a random
unread,
nonmonotonicity
Russel, Fair point. The "saving all the results" part of the system is just a random
10/1/09
YKY (Yan King Yin, 甄景贤)
, …
Russell Wallace
10
9/25/09
how does type theory block Liar's paradox?
Thinking a bit more about the way the strengthened liar paradox breaks extensional equality, trying
unread,
how does type theory block Liar's paradox?
Thinking a bit more about the way the strengthened liar paradox breaks extensional equality, trying
9/25/09
Abram Demski
,
YKY (Yan King Yin, 甄景贤)
3
9/23/09
prior over assertions
YKY, The hidden assumption I'm using that turns first-order logic into a sort of programming
unread,
prior over assertions
YKY, The hidden assumption I'm using that turns first-order logic into a sort of programming
9/23/09
Russell Wallace
, …
YKY (Yan King Yin, 甄景贤)
5
9/21/09
Paradoxes of higher-order logic
YKY and I worked out what seems to be the answer to this one in an IM conversation last night; I
unread,
Paradoxes of higher-order logic
YKY and I worked out what seems to be the answer to this one in an IM conversation last night; I
9/21/09
Luke Palmer
9/12/09
Re: [one-logic] Questions
These are fairly elementary set theory questions. I have to ask -- is this homework? If so, I
unread,
Re: [one-logic] Questions
These are fairly elementary set theory questions. I have to ask -- is this homework? If so, I
9/12/09
Abram Demski
,
Vladimir Nesov
8
8/31/09
self-referential probability theory
On Mon, Aug 31, 2009 at 7:23 AM, Abram Demski<abram...@gmail.com> wrote: > > Vladimir,
unread,
self-referential probability theory
On Mon, Aug 31, 2009 at 7:23 AM, Abram Demski<abram...@gmail.com> wrote: > > Vladimir,
8/31/09
Abram Demski
7/29/09
probabilistic knowledge of mathematical truth
Hi all, The following post about probabilistic knowledge of mathematics was interesting: http://
unread,
probabilistic knowledge of mathematical truth
Hi all, The following post about probabilistic knowledge of mathematics was interesting: http://
7/29/09
Search
Clear search
Close search
Google apps
Main menu