{"id":353888,"date":"2024-10-20T01:00:20","date_gmt":"2024-10-20T01:00:20","guid":{"rendered":"https:\/\/pdfstandards.shop\/product\/uncategorized\/bs-iso-iec-247072018-tc\/"},"modified":"2024-10-26T01:11:11","modified_gmt":"2024-10-26T01:11:11","slug":"bs-iso-iec-247072018-tc","status":"publish","type":"product","link":"https:\/\/pdfstandards.shop\/product\/publishers\/bsi\/bs-iso-iec-247072018-tc\/","title":{"rendered":"BS ISO\/IEC 24707:2018 – TC"},"content":{"rendered":"

PDF Catalog<\/h4>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
PDF Pages<\/th>\nPDF Title<\/th>\n<\/tr>\n
126<\/td>\nNational foreword <\/td>\n<\/tr>\n
130<\/td>\nForeword <\/td>\n<\/tr>\n
131<\/td>\nIntroduction <\/td>\n<\/tr>\n
133<\/td>\n1 Scope
2 Normative references <\/td>\n<\/tr>\n
134<\/td>\n3 Terms and definitions <\/td>\n<\/tr>\n
136<\/td>\n4 Symbols and abbreviated terms
4.1 Symbols <\/td>\n<\/tr>\n
137<\/td>\n4.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 <\/td>\n<\/tr>\n
138<\/td>\n5.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 <\/td>\n<\/tr>\n
140<\/td>\n6.1.2 Metamodel of the Common Logic abstract syntax <\/td>\n<\/tr>\n
147<\/td>\n6.1.3 Importation closure <\/td>\n<\/tr>\n
148<\/td>\n6.1.4 Abstract syntactic structure of dialects <\/td>\n<\/tr>\n
149<\/td>\n6.2 Common logic semantics <\/td>\n<\/tr>\n
151<\/td>\n6.3 Datatypes
6.4 Satisfaction, validity and entailment <\/td>\n<\/tr>\n
152<\/td>\n6.5 Sequence markers, recursion and argument lists: discussion <\/td>\n<\/tr>\n
153<\/td>\n6.6 Special cases and translations between dialects
7 Conformance
7.1 Dialect conformance
7.1.1 Syntax <\/td>\n<\/tr>\n
154<\/td>\n7.1.2 Semantics <\/td>\n<\/tr>\n
155<\/td>\n7.1.3 Presupposing dialects
7.2 Application conformance <\/td>\n<\/tr>\n
156<\/td>\n7.3 Network conformance <\/td>\n<\/tr>\n
157<\/td>\nAnnex A (normative) Common Logic Interchange Format (CLIF) <\/td>\n<\/tr>\n
168<\/td>\nAnnex B (normative) Conceptual Graph Interchange Format (CGIF) <\/td>\n<\/tr>\n
189<\/td>\nAnnex C (normative) eXtended Common Logic Markup Language (XCL) <\/td>\n<\/tr>\n
201<\/td>\nAnnex D (informative) Translating between dialects <\/td>\n<\/tr>\n
202<\/td>\nBibliography <\/td>\n<\/tr>\n<\/table>\n","protected":false},"excerpt":{"rendered":"

Tracked Changes. Information technology. Common Logic (CL). A framework for a family of logic-based languages<\/b><\/p>\n\n\n\n\n
Published By<\/td>\nPublication Date<\/td>\nNumber of Pages<\/td>\n<\/tr>\n
BSI<\/b><\/a><\/td>\n2020<\/td>\n204<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n","protected":false},"featured_media":353892,"template":"","meta":{"rank_math_lock_modified_date":false,"ep_exclude_from_search":false},"product_cat":[2641],"product_tag":[],"class_list":{"0":"post-353888","1":"product","2":"type-product","3":"status-publish","4":"has-post-thumbnail","6":"product_cat-bsi","8":"first","9":"instock","10":"sold-individually","11":"shipping-taxable","12":"purchasable","13":"product-type-simple"},"_links":{"self":[{"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/product\/353888","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/product"}],"about":[{"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/types\/product"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/media\/353892"}],"wp:attachment":[{"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/media?parent=353888"}],"wp:term":[{"taxonomy":"product_cat","embeddable":true,"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/product_cat?post=353888"},{"taxonomy":"product_tag","embeddable":true,"href":"https:\/\/pdfstandards.shop\/wp-json\/wp\/v2\/product_tag?post=353888"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}