Received-SPF: pass (google.com: domain of kali9putra@yahoo.com designates 216.109.115.177 as permitted sender) client-ip=216.109.115.177;
References: <20140927163121.GO28734@gonzales> <3c3b1c5e-cac2-42df-9d67-553a849789d3@googlegroups.com> <20140927192952.GS28734@gonzales> <bf1a257f-4b62-4d03-ad77-5bbfb1b91870@googlegroups.com>
Message-ID: <1411847843.97783.YahooMailNeo@web181104.mail.ne1.yahoo.com>
Date: Sat, 27 Sep 2014 12:57:23 -0700
From: "'John E Clifford' via lojban" <lojban@googlegroups.com>
Reply-To: lojban@googlegroups.com
Subject: Re: [lojban] Re: tersmu 0.2
To: "lojban@googlegroups.com" <lojban@googlegroups.com>
In-Reply-To: <bf1a257f-4b62-4d03-ad77-5bbfb1b91870@googlegroups.com>
MIME-Version: 1.0
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Sender: lojban@googlegroups.com
Content-Type: multipart/alternative; boundary="-482694697-863200937-1411847843=:97783"
X-Spam_score: -2.0
X-Spam_score_int: -19
X-Spam_bar: --

---482694697-863200937-1411847843=:97783
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

Well, there was just some discussion about Lojban to Logic algorithms and t=
his is the first sign (in quite a while at least) that someone has at least=
 the rudiments of that project in hand.  Thank you for your efforts and kee=
p up the good work on this central project.


On Saturday, September 27, 2014 2:40 PM, TR NS <transfire@gmail.com> wrote:
=20


On Saturday, September 27, 2014 3:30:26 PM UTC-4, Martin Bays wrote:
* Saturday, 2014-09-27 at 12:25 -0700 - TR NS <tran...@gmail.com>:=20
>
>
>> On Saturday, September 27, 2014 12:31:55 PM UTC-4, Martin Bays wrote:=20
>> Very cool!=20
>>=20
>> Could you explain some of the notation, e.g.=20
>>=20
>> non-veridical: FA x1. (gerku(f0(x1)) /\ srana(f0(x1),x1))=20
>> EX x1. viska(f0(x1),mi)=20
>
>Yeah, there's quite a bit to the notation. But it outputs a lojban=20
>version too, so you should be able to work out things mean by comparing=20
>the logic with the lojban.=20
>
>To explain what's in your example:=20
>FA is for all=20
>EX is there exists=20
>/\ is and=20
>f0 is a function (glorked from context).=20
>
>

Thanks. That helps. Only the last one doesn't make sense to me. Is it somet=
hing to do with `le`?


--=20
You received this message because you are subscribed to the Google Groups "=
lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout
.

--=20
You received this message because you are subscribed to the Google Groups "=
lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.

---482694697-863200937-1411847843=:97783
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<html><body><div style=3D"color:#000; background-color:#fff; font-family:He=
lveticaNeue, Helvetica Neue, Helvetica, Arial, Lucida Grande, sans-serif;fo=
nt-size:16px"><div><span>Well, there was just some discussion about Lojban =
to Logic algorithms and this is the first sign (in quite a while at least) =
that someone has at least the rudiments of that project in hand. &nbsp;Than=
k you for your efforts and keep up the good work on this central project.</=
span></div> <div class=3D"qtdSeparateBR"><br><br></div><div class=3D"yahoo_=
quoted" style=3D"display: block;"> <div style=3D"font-family: HelveticaNeue=
, 'Helvetica Neue', Helvetica, Arial, 'Lucida Grande', sans-serif; font-siz=
e: 16px;"> <div style=3D"font-family: HelveticaNeue, 'Helvetica Neue', Helv=
etica, Arial, 'Lucida Grande', sans-serif; font-size: 16px;"> <div dir=3D"l=
tr"> <font size=3D"2" face=3D"Arial"> On Saturday, September 27, 2014 2:40 =
PM, TR NS &lt;transfire@gmail.com&gt; wrote:<br> </font> </div>  <br><br> <=
div
 class=3D"y_msg_container"><div id=3D"yiv8958746138"><div><div dir=3D"ltr">=
<br clear=3D"none"><br clear=3D"none">On Saturday, September 27, 2014 3:30:=
26 PM UTC-4, Martin Bays wrote:<blockquote class=3D"yiv8958746138gmail_quot=
e" style=3D"margin:0;margin-left:0.8ex;border-left:1px #ccc solid;padding-l=
eft:1ex;">* Saturday, 2014-09-27 at 12:25 -0700 - TR NS &lt;<a rel=3D"nofol=
low" shape=3D"rect" href=3D"">tran...@gmail.com</a>&gt;:
<div class=3D"yiv8958746138yqt2868246809" id=3D"yiv8958746138yqtfd69205"><b=
r clear=3D"none">
<br clear=3D"none">&gt; On Saturday, September 27, 2014 12:31:55 PM UTC-4, =
Martin Bays wrote:
<br clear=3D"none">&gt; Very cool!
<br clear=3D"none">&gt;
<br clear=3D"none">&gt; Could you explain some of the notation, e.g.
<br clear=3D"none">&gt;
<br clear=3D"none">&gt; non-veridical: FA x1. (gerku(f0(x1)) /\ srana(f0(x1=
),x1))
<br clear=3D"none">&gt; EX x1. viska(f0(x1),mi)
<br clear=3D"none">
<br clear=3D"none">Yeah, there's quite a bit to the notation. But it output=
s a lojban
<br clear=3D"none">version too, so you should be able to work out things me=
an by comparing
<br clear=3D"none">the logic with the lojban.
<br clear=3D"none">
<br clear=3D"none">To explain what's in your example:
<br clear=3D"none">FA is for all
<br clear=3D"none">EX is there exists
<br clear=3D"none">/\ is and
<br clear=3D"none">f0 is a function (glorked from context).
</div><br clear=3D"none">
<br clear=3D"none"></blockquote><div><br clear=3D"none"></div><div>Thanks. =
That helps. Only the last one doesn't make sense to me. Is it something to =
do with `le`?</div><div><br clear=3D"none"></div><div><br clear=3D"none"></=
div></div>


-- <br clear=3D"none">
You received this message because you are subscribed to the Google Groups "=
lojban" group.<br clear=3D"none">
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a rel=3D"nofollow" shape=3D"rect" ymailto=3D"mailto:lojban+unsubsc=
ribe@googlegroups.com" target=3D"_blank" href=3D"mailto:lojban+unsubscribe@=
googlegroups.com">lojban+unsubscribe@googlegroups.com</a>.<br clear=3D"none=
">
To post to this group, send email to <a rel=3D"nofollow" shape=3D"rect" yma=
ilto=3D"mailto:lojban@googlegroups.com" target=3D"_blank" href=3D"mailto:lo=
jban@googlegroups.com">lojban@googlegroups.com</a>.<br clear=3D"none">
Visit this group at <a rel=3D"nofollow" shape=3D"rect" target=3D"_blank" hr=
ef=3D"http://groups.google.com/group/lojban">http://groups.google.com/group=
/lojban</a>.<br clear=3D"none">
For more options, visit <a rel=3D"nofollow" shape=3D"rect" target=3D"_blank=
" href=3D"https://groups.google.com/d/optout">https://groups.google.com/d/o=
ptout</a><div class=3D"yiv8958746138yqt2868246809" id=3D"yiv8958746138yqtfd=
32026">.<br clear=3D"none"></div></div></div><br><br></div>  </div> </div> =
 </div> </div></body></html>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;lojban&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:lojban+unsubscribe@googlegroups.com">lojban+unsub=
scribe@googlegroups.com</a>.<br />
To post to this group, send email to <a href=3D"mailto:lojban@googlegroups.=
com">lojban@googlegroups.com</a>.<br />
Visit this group at <a href=3D"http://groups.google.com/group/lojban">http:=
//groups.google.com/group/lojban</a>.<br />
For more options, visit <a href=3D"https://groups.google.com/d/optout">http=
s://groups.google.com/d/optout</a>.<br />

---482694697-863200937-1411847843=:97783--