🔥🔥 Don’t Miss Out on Our End of Autumn Sale. If you have any questions, feel free to click the bottom right corner to contact our customer service..

Concat us[email protected]
Shopping Cart

No products in the cart.

🔍
BS ISO/IEC 24707:2018 – TC:2020 Edition

BS ISO/IEC 24707:2018 – TC:2020 Edition

$280.87

Tracked Changes. Information technology. Common Logic (CL). A framework for a family of logic-based languages

Published By Publication Date Number of Pages
BSI 2020 204
PDF Format Searchable Printable Preview Now
Guaranteed Safe Checkout
Category:

If you have any questions, feel free to reach out to our online customer service team by clicking on the bottom right corner. We’re here to assist you 24/7.
Email:[email protected]

PDF Catalog

PDF Pages PDF Title
126 National foreword
130 Foreword
131 Introduction
133 1 Scope
2 Normative references
134 3 Terms and definitions
136 4 Symbols and abbreviated terms
4.1 Symbols
137 4.2 Abbreviated terms
5 Requirements and design overview
5.1 Requirements
5.1.1 Common Logic should include full first-order logic with equality
5.1.2 Common Logic should provide a general-purpose syntax for communicating logical expressions
5.1.3 Common Logic should be easy and natural for use on the Web
5.1.4 Common Logic should support open networks
138 5.1.5 Common Logic should not make arbitrary assumptions about semantics
5.2 A family of languages
6 Common Logic abstract syntax and semantics
6.1 Common Logic abstract syntax
6.1.1 Abstract syntax categories
140 6.1.2 Metamodel of the Common Logic abstract syntax
147 6.1.3 Importation closure
148 6.1.4 Abstract syntactic structure of dialects
149 6.2 Common logic semantics
151 6.3 Datatypes
6.4 Satisfaction, validity and entailment
152 6.5 Sequence markers, recursion and argument lists: discussion
153 6.6 Special cases and translations between dialects
7 Conformance
7.1 Dialect conformance
7.1.1 Syntax
154 7.1.2 Semantics
155 7.1.3 Presupposing dialects
7.2 Application conformance
156 7.3 Network conformance
157 Annex A (normative) Common Logic Interchange Format (CLIF)
168 Annex B (normative) Conceptual Graph Interchange Format (CGIF)
189 Annex C (normative) eXtended Common Logic Markup Language (XCL)
201 Annex D (informative) Translating between dialects
202 Bibliography

Related products

BS ISO/IEC 24707:2018 - TC
$280.87