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
Create Account
Dictionary record
Back to the main valsi listing.
 valsi mu'ai'au type experimental cmavo creator krtisfranks time entered Fri Oct 9 01:01:12 2015

Examples

English
Definition #67919 - Preferred 

selma'o VUhU
definition mathematical/logical/mekso ternary operator: μ (mu) operator: outputs the most extreme extended-natural number that satisfies relationship/predicate A, where extremeness is bounded by B and of a version determined by C; error output is -1
notes A is a proposition; it will be a function of at least one variable. The output of this function will cause A to evaluate to true if plugged in as the primary (first) argument of A, except in the Error Case that is described later. C can only be -1 or 1; if C = 1, then extremeness here is defined as "least"; if C = -1, then extremeness here is defined as "greatest". If C = 1, then B is an upperbound; if C = -1, then B is a lowerbound. The contextless default value of C is 1. The contextless default value of B is sgn(C)*infinity (countable, in a sense). The output may be equal to B. The output belongs to the set of all positive integers united with the set of 0 and sgn(C)*infinity. Error Case: If no such number exists, the output is -1. Use A in order to restrict outputs from being pathological for your purposes. Example: Let C = 1 and suppose that there exists a number that satisfies A and is one of the following values: 0, a positive integer, (countable) infinity. Then the output of this function (id est: μ(A, B, 1); where "μ" represents the mu operator) is the least such number that is less than or equal to B. Note that in this example, the contextless default value of B is (countable) infinity.
gloss words
created by krtisfranks
vote information 1
time Fri Oct 9 01:07:19 2015

Examples
 Etymology

 krtisfranks "mu" + {traji} + {namcu} + {fancu} 
 Currently, jbovlaste will accept data for 69 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?