IEC > Webstore > Search > Register > Check out > Payment > Order confirmation

Publication detail

 
Reference ISO/IEC 24707 ed1.0 withdrawn corrigendum
> preview
Title Information technology -- Common Logic (CL): a framework for a family of logic-based languages
Publication date 2007-09-25
Format, price
(Swiss francs)
and language
178.- 73 pages
178.- 658 Kb
 
Abstract ISO/IEC 24707:2007 defines Common Logic: a first-order logic framework intended for information exchange and transmission. The heart of the framework is a complete abstract syntax and abstract semantics for Common Logic, which provides the basis for many different concrete syntactic forms, called dialects, which conform to the syntax and semantics. Common Logic has some novel features, chief among them being a syntax which is signature-free and permits 'higher-order' constructions such as quantification over classes or relations while preserving a first-order model theory, and a semantics which allows theories to describe intensional entities such as classes or properties. It also fixes the meanings of a few conventions in widespread use, such as numerals to denote integers and quotation marks to denote character strings, and has provision for the use of datatypes and for naming, importing and transmitting content on the World Wide Web. ISO/IEC 24707:2007 defines the abstract syntax and semantics, and three concrete dialects are defined in the annexes. The three conforming dialects specified are Common Logic Interchange Format (CLIF), Conceptual Graph Interchange Format (CGIF) and XML for Common Logic (XCL).
Technical Committee JTC 1/SC 32 - Data management services  RSS
ICS Codes
35.060 Languages used in information technology
 
Replaced by
 
Work in progress
ProjectStage codeForecast publication date
No project under development--


Search

>> Advanced search

Quick access by ref. number



Basket

Your basket is empty
Your country is :
Your TVA is : You must login...

Payment

Accepted credit cards:
Prices in CHF (Swiss francs)
Request a pro forma to pay by bank transfer or cheque
Learn how to share your publications with your colleagues, using networking options
Prices in CHF (Swiss francs)
We accept the following credit cards:
To pay by bank transfer: request a pro forma
If you purchase regularly through the IEC Webstore you can open a corporate account

Just Published

>> Published in the last 30 days

Bestsellers

  1. IEC 60601-1-2 Ed. 4.0
  2. IEC 60079-1 Ed. 7.0
  3. IEC 61000-4-5 Ed. 3.0
  4. IEC 60598-1 Ed. 8.0
  5. IEC 60825-1 Ed. 3.0
  6. IEC 60034-2-1 Ed. 2.0
  7. IEC 60601-1 Ed. 3.1
  8. IEC 61000-3-2 Ed. 4.0
  9. IEC 62304 Ed. 1.0
  10. IEC 60065 Ed. 8.0