jbovlaste
a lojban dictionary editing system
User:
Pass:

Home
Get A Printable Dictionary
Search Best Words
Recent Changes
How You Can Help
valsi - All
valsi - Preferred Only
natlang - All
natlang - Preferred Only
Languages
XML Export
user Listing
Report Bugs
Utilities
Status
Help
Admin Request
Create Account
Discussion of "kloje"
[parent] [root]
Comment #4: Re: slot for type of closure?
Curtis W Franks (Tue Sep 11 04:01:28 2018)

gleki wrote:
> krtisfranks wrote:
> > gleki wrote:
> > > or does it mean declaration of variables are within a scope of x2?
> > >
> > > also
> > > 2.is x2 a text or a syntactic structure possible disrupted by the
infix
>
> > > being x1? (e. g. fu'e... fu'o and such)
> > > 3.difference from sko'opu?
> >
> > I am not exactly sure what you are thinking. This is what I meant by
> > "closure": https://en.wikipedia.org/wiki/Closure_(mathematics) .
>
> then itd be nice to disambiguate which closure is meant

Agreed. Is it not already disambiguated though? The gloss words has the
qualifier "under an operator or relation" and the definition itself has
"(set/space) is closed under(/wrt) operator/relation".

If this is not sufficient according to your judgment, how can it be
improved? :)

Comment #5: Re: slot for type of closure?
gleki (Tue Sep 11 05:37:05 2018)

krtisfranks wrote:
> gleki wrote:
> > krtisfranks wrote:
> > > gleki wrote:
> > > > or does it mean declaration of variables are within a scope of x2?
> > > >
> > > > also
> > > > 2.is x2 a text or a syntactic structure possible disrupted by the
> infix
> >
> > > > being x1? (e. g. fu'e... fu'o and such)
> > > > 3.difference from sko'opu?
> > >
> > > I am not exactly sure what you are thinking. This is what I meant by
> > > "closure": https://en.wikipedia.org/wiki/Closure_(mathematics) .
> >
> > then itd be nice to disambiguate which closure is meant
>
> Agreed. Is it not already disambiguated though? The gloss words has the
> qualifier "under an operator or relation" and the definition itself has
> "(set/space) is closed under(/wrt) operator/relation".
>
> If this is not sufficient according to your judgment, how can it be
> improved? :)

by adding the word "matgematical" as wikipedia does

Currently, jbovlaste will accept data for 70 languages.
You are not logged in.

  recent changes jbovlaste main
This is jbovlaste, the lojban dictionary system.
The main code was last changed on Wed 07 Oct 2020 05:54:55 PM PDT.
All content is public domain. By submitting content, you agree to place it in the public domain to the fullest extent allowed by local law.
jbovlaste is an official project of the logical language group, and is now headed by Robin Lee Powell.
E-mail him if you have any questions.
care to log in?