Skip to content
CSA Store
  • CSA Group
  • CSA OnDemandâ„¢
  • CSA Communities
  • Contact Us
  • Catalogue
    • Browse By Subject Area

      • Electrical
      • Fuels & Transportation
      • Petroleum & Natural Gas
      • Environment & Natural Resources
      • Construction & Infrastructure
      • Mechanical & Industrial Equipment
      • Nuclear
      • Health Care and Well-being
      • Worker & Public Safety
      • Management Systems
    • Browse By Publisher

      • ASME
      • ASTM
      • CSA Group
      • ESA
      • IEC
      • ISO
      • NRC
      • ORNAC
      • TSSA
    • ICS Catalogue

      • Browse by International Classification of Standards (ICS Codes)
  • Subscription
    • Browse By Subject Area

      • Electrical
      • Fuels & Transportation
      • Petroleum & Natural Gas
      • Environment & Natural Resources
      • Construction & Infrastructure
      • Mechanical & Industrial Equipment
      • Nuclear
      • Health Care and Well-being
      • Worker & Public Safety
      • Management Systems
    • CSA Subscriptions

      • Overview
      • Collections
    • ICS Catalogue

      • Browse by International Classification of Standards (ICS Codes)
  • Services
Cart Icon0
×
Login / Register
English / CAD

Language

en

fr

Currency

CAD

USD

  • CSA Group
  • CSA OnDemandâ„¢
  • CSA Communities
  • Contact Us
Wishlist

Catalogue

  • Browse By Subject Area

    • Electrical
    • Fuels & Transportation
    • Petroleum & Natural Gas
    • Environment & Natural Resources
    • Construction & Infrastructure
    • Mechanical & Industrial Equipment
    • Nuclear
    • Health Care and Well-being
    • Worker & Public Safety
    • Management Systems
  • Browse By Publisher

    • ASME
    • ASTM
    • CSA Group
    • ESA
    • IEC
    • ISO
    • NRC
    • ORNAC
    • TSSA
  • ICS Catalogue

    • Browse by International Classification of Standards (ICS Codes)

Subscription

  • Browse By Subject Area

    • Electrical
    • Fuels & Transportation
    • Petroleum & Natural Gas
    • Environment & Natural Resources
    • Construction & Infrastructure
    • Mechanical & Industrial Equipment
    • Nuclear
    • Health Care and Well-being
    • Worker & Public Safety
    • Management Systems
  • CSA Subscriptions

    • Overview
    • Collections
  • ICS Catalogue

    • Browse by International Classification of Standards (ICS Codes)

Services

Menu toggle Icon
Login / Register
English / CAD

Language

en

fr

Currency

CAD

USD

Wishlist Cart (
)

Search Section

    • Home
    • ICS
    • Information Technology. Office Machines
    • Languages Used In Information Technology
    • ISO/IEC 24707:2018

    Codes & Standards - Purchase

    ISO/IEC 24707:2018

    Information technology -- Common Logic (CL) -- A framework for a family of logic-based languages
    SKU: iso_066249_162676 Published by ISO/IEC Publication Year 2018 2 Edition 70 pages

    Product Details

    • Overview
    This document specifies a family of logic languages designed for use in the representation and interchange of information and data among disparate computer systems. The following features are essential to the design of this document. -- Languages in the family have declarative semantics. It is possible to understand the meaning of expressions in these languages without appeal to an interpreter for manipulating those expressions. -- Languages in the family are logically comprehensive ? at its most general, they provide for the expression of arbitrary first-order logical sentences. -- Languages in the family are translatable by a semantics-preserving transformation to a common XML-based syntax, facilitating interchange of information among heterogeneous computer systems. The following are within the scope of this document: -- representation of information in ontologies and knowledge bases; -- specification of expressions that are the input or output of inference engines; -- formal interpretations of the symbols in the language. The following are outside the scope of this document: -- specification of proof theory or inference rules; -- specification of translators between the notations of heterogeneous computer systems; -- computer-based operational methods of providing relationships between symbols in the logical universe of discourse and individuals in the real world. This document describes Common Logic's syntax and semantics. This document defines an abstract syntax and an associated model-theoretic semantics for a specific extension of first-order logic. The intent is that the content of any system using first-order logic can be represented in this document. The purpose is to facilitate interchange of first-order logic-based information between systems. Issues relating to computability using this document (including efficiency, optimization, etc.) are not addressed.

    Buy

    Language

    Radio input

    Format

    Radio input
    • FAQs
    • Contact Us
    • Email Product

    GST REG No R119441681
    QST REG No R1006017360

    Compare Formats

    Determine the subscription format that is right for you.

    Features CSA AdvantageTM CSA OnDemandTM
    Offline accessSelectedSelected
    Full-text searchSelectedSelected
    Create highlights and personal notesSelectedSelected
    Newest editions added automaticallySelectedSelected
    Includes all supported languages and archive versionsSelected
    My Files - create customized files by adding multiple clauses, tables or figures from the standard into your own personal File for quick referenceSelected
    Toggle between your files and the full standard to maintain contextSelected
    Instantly preview cross referenced material within the bookSelected
    Export personal notes to ExcelSelected
    Transfer notes and highlights when updates are availableSelected
    Adobe Reader PDF and browser compatible for iOS and AndroidSelected
    Web, Android, iOS CompatibleSelected

    Follow Us On Social Media

    Get Our Newsletter

    Get CSA Newsletter

    • About CSA Store
    • Subscription
    • Services
    • Catalogue
    • FAQ
    • Return Policy
    • FULFILLMENT DETAILS
    • EBOOK SUPPORT
    • Product Updates
    • Contact Us
    • CSA GROUP
    • CSA COMMUNITIES
    • CSA Update Service
    • About CSA Store
    • Subscription
    • Services
    • Catalogue
    • FAQ
    • Return Policy
    • FULFILLMENT DETAILS
    • EBOOK SUPPORT
    • Product Updates
    • Contact Us
    • CSA GROUP
    • CSA COMMUNITIES
    • CSA Update Service

    • General Terms and Conditions
    • Privacy Policy
    • Accessibility
    © 2022 Canadian Standards Association. All rights reserved
    logo close
    Privacy Preference Centre

    Please manage your cookie choices by switching the consent toggles on or off under the Purposes below.

    You may change your preference at any time as described in our Cookie Policy

    • Cookie Settings
    • List of Cookies
    close
      Cookies on CSA Group

      We use Cookies to create a secure and effective website experience for our customers. For more information about Cookies and how you can disable Cookies, visit our privacy policy page. Learn More

      Free Login/Registration Required

      View Access for this document is only available for viewers in Canada.

      A free user account is required to view this document.

      Login or Register