lojbo jufsisku
Lojban sentence search

Total: 5 result(s)
ctaipe
fu'ivla x1 is a value/proof of type/proposition x2 in {type/logical} system x3 A better definition; proposed by la .mudri.
cei'i
experimental cmavo pro-bridi: the universal predicate See also: zai'o (pro-sumti; empty), gai'o (pro-bridi; empty), mai'i (pro-sumti; universal), ctaipe.
gai'o
experimental cmavo pro-bridi: the empty predicate See also: zai'o (pro-sumti; empty), mai'i (pro-sumti; universal), cei'i (pro-bridi; universal), ctaipe.
mai'i
experimental cmavo pro-sumti: the universal argument/value; syntactically-contextually and type-permitted maximally generic in its typing It is a pro-sumti with a universal reference set (restricted to syntactically-demanded/appropriate type). Probably semantically maximally and generally elliptical/generic. Typing can be restricted by (possibly metalinguistic) restriction. See also: zai'o (pro-sumti; empty), gai'o (pro-bridi; empty), cei'i (pro-bridi; universal), ctaipe. Proposed by: lai .az. .e lai .krtisfranks.
zai'o
experimental cmavo pro-sumti: the empty argument/value; syntactically-contextually and type-permitted maximally generic in its typing It is a pro-sumti with an empty reference set. Probably semantically maximally and generally elliptical/generic. Typing can be restricted by (possibly metalinguistic) restriction. See also: gai'o (pro-bridi; empty), mai'i (pro-sumti; universal), cei'i (pro-bridi; universal), ctaipe. Proposed by: lai .az. .e lai .krtisfranks.