Common Logic
id:
common-logic-250-4676586
title:
Common Logic
text:
Common Logic (CL) is a framework for a family of logic languages, based on first-order logic, intended to facilitate the exchange and transmission of knowledge in computer-based systems. The CL definition permits and encourages the development of a variety of different syntactic forms, called dialects. A dialect may use any desired syntax, but it must be possible to demonstrate precisely how the concrete syntax of a dialect conforms to the abstract CL semantics, which are based on a model theore
brand slug:
wiki
category slug:
encyclopedia
description:
Framework for a family of logic languages
original url:
https://en.wikipedia.org/wiki/Common_Logic
date created:
date modified:
2024-02-04T04:48:40Z
main entity:
{"identifier":"Q5153563","url":"https://www.wikidata.org/entity/Q5153563"}
image:
fields total:
13
integrity:
14