Formal language for business communication: sketch of a basic theory
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
A logical model of directed obligations and permissions to support electronic contracting
International Journal of Electronic Commerce - Special issue: Formal aspects of digital commerce
A Formal Analysis of Auditing Principles for Electronic Trade Procedures
International Journal of Electronic Commerce
On Lean Messaging with Unfolding and Unwrapping for Electronic Commerce
International Journal of Electronic Commerce
International Journal of Metadata, Semantics and Ontologies
Hi-index | 0.00 |
The Incoterms, international commercial terms, offer arare example of highly standardised terms for commercialtransactions. In this paper we present a logical analysis ofthe Incoterms. Our analysis shows that there is a richvariety of different cases of deontic and defeasiblereasoning in the Incoterms. Most of the rules in theIncoterms are expressed in deontic notions such asobligation, permission and right. Also, most of theserules have a defeasible character in the sense that they holdfor the normal case, but can be overruled in exceptionalcircumstances. The results from this logical analysis couldcontribute to the discussion about the role of deontic anddefeasible logics in the representation of and reasoningabout legal domains. We also describe how, based on ourlogical analysis, a legal advisory system for the Incotermscan be implemented in Prolog. This implementation couldbe further developed into a legal advisory system thatcould offer advice to commercial users about the choice ofthe most suitable Incoterms to include in their commercialcontracts.