A note on getting started with FLBC
Steven Orla Kimbrough · ACM SIGGROUP Bulletin · 2001
My aim in this note is to provide a series of examples that will serve to illustrate how to symbolize English sentences in a manner concording with the theory I have been developing for an FLBC (formal language for business communication, cf. [3, 6, 8, 7, 5, 9, 4]). In that theory, which can be called thelean event semantics with disquotation(LESD) theory, first-order logic is used for (nearly) all representations. The version of FLBC being illustrated here I shall call Elementary FLBC. The presentation is example-driven. Theory is used and alluded to, but must be accessed in other writings as cited above.