A note on getting started with FLBC: towards a user guide for FLBC

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 the lean 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.

[1]  R. Huddleston.  English Grammar: An Outline , 1988 .

[2]  Steven O. Kimbrough,et al.  On obligation, time, and defeasibility in systems for electronic commerce , 1993, [1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences.

[3]  Steven Orla Kimbrough,et al.  On the spanning hypothesis for EDI semantics , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

[4]  Steven Orla Kimbrough,et al.  Formal Language for Business Communication: Sketch of a Basic Theory , 1998, Int. J. Electron. Commer..

[5]  Steven Orla Kimbrough,et al.  On automated message processing in electronic commerce and work support systems: speech act theory and expressive felicity , 1997, TOIS.

[6]  Terence Parsons,et al.  Events in the Semantics of English: A Study in Subatomic Semantics , 1990 .

[7]  Steven Orla Kimbrough,et al.  Reasoning about the objects of attitudes and operators: towards a disquotation theory for representation of propositional content , 2001, ICAIL '01.

[8]  Daniel Vanderveken,et al.  Foundations of Illocutionary Logic , 1985 .

[9]  D. Over,et al.  Studies in the Way of Words. , 1989 .

[10]  Steven Orla Kimbrough,et al.  On representation schemes for promising electronically , 1990, Decis. Support Syst..

[11]  Yao-Hua Tan,et al.  On Lean Messaging with Unfolding and Unwrapping for Electronic Commerce , 2000, Int. J. Electron. Commer..