jboske whitepapers: Difference between revisions

From Lojban
Jump to navigation Jump to search
 
Line 52: Line 52:
===Done===
===Done===
* Logical types of UI
* Logical types of UI
* UI and scope [[provisionally|provisionally]]
* UI and scope <nowiki>[provisionally]</nowiki>
 
===To do===
===To do===
* Classifying members of UI into the logical types
* Classifying members of UI into the logical types

Latest revision as of 08:39, 15 June 2015

These are position statements, summaries, and manifestoes which emerge out of discussions on jboske. They are purely speculative, and are going on here only because the discussions on jboske require a component which is indexed differently than mail messages sorted by date and named only by subject header.

gadri

anaphora

scope

sumti qualifiers

UI

Progress

This is an indication of where the xorxes--And discussions have got to.

gadri

Done

  • Almost complete gadri system

To do

  • Decision about function of lVi
  • Decisions about ME & LAhE arising secondarily from the gadri system proposals

scope

Done

  • Scope rules

To do

  • Propose forms for two new BAhE

Anaphora

In progress

  • Rules for sumti anaphora interpretation worked out but still under discussion
  • Antecedent-targeting rules for CLL anaphora proposed & under discussion
  • New comprehensive scheme for antecedent targeting proposed & under discussion

To do

  • Rules for bridi anaphora interpretation (was discussed briefly on one phpbb Lojbanic forum)

UI

Done

  • Logical types of UI
  • UI and scope [provisionally]

To do

  • Classifying members of UI into the logical types