A Mathematical Apparatus for Domain Ontology Simulation. An Extendable Language of Applied Logic

* This paper was made according to the program of fundamental scientific research of the Presidium of the Russian Academy of Sciences «Mathematical simulation and intellectual systems», the project "Theoretical foundation of the intellectual systems based on ontologies for intellectual support of scientific researches".

A Mathematical Apparatus for Ontology Simulation. Specialized Extensions of the Extendable Language of Applied Logic

* This paper was made according to the program of fundamental scientific research of the Presidium of the Russian Academy of Sciences «Mathematical simulation and intellectual systems», the project "Theoretical foundation of the intellectual systems based on ontologies for intellectual support of scientific researches".

A treatise on logic, or, The laws of pure thought : comprising both the Aristotelic and Hamiltonian analyses of logical forms, and some chapters of applied logic /

Mode of access: Internet.

A treatise on logic : or, The laws of pure thought; comprising both Aristotelic and Hamiltonian analyses of logical forms, and some chapters of applied logic /

Mode of access: Internet.

Mathematical Models of Domain Ontologies

* This paper was made according to the program No 14 of fundamental scientific research of the Presidium of the Russian Academy of Sciences, the project "Intellectual Systems Based on Multilevel Domain Models".

A Mathematical Apparatus for Domain Ontology Simulation. Logical Relationship Systems

* This paper was made according to the program of fundamental scientific research of the Presidium of the Russian Academy of Sciences «Mathematical simulation and intellectual systems», the project "Theoretical foundation of the intellectual systems based on ontologies for intellectual support of scientific researches".

A Metaontology for Medical Diagnostics of Acute Diseases. Part 1. An Informal Description and Definitions of Basic Terms

The aim of this article is to describe formally a metaontology for medical diagnostics of acute diseases in the language of applied logic. The article includes an informal description of the metaontology, and the part of its model which contains the definitions for basic terms of knowledge and situations and also their integrity restrictions in the form of ontological agreements.

A Metaontology for Medical Diagnostics of Acute Diseases. Part 2. A Formal Description of Cause-and-effect Relations

This article is the continuation of the formal description of the metaontology for medical diagnostics in the language of applied logic. It contains a description of interrelations between terms of knowledge and reality in the form of ontological agreements.

A Metaontology for Medical Diagnostics of Acute Diseases. Part 3. A Formal Description of the Causes of Signs’ Values and of Diseases

This article is the final part of the formal description of the metaontology for medical diagnostics in the language of applied logic. It contains a description of the causes of signs’ values and of the causes of diseases.

An assertion language for debugging of constraint logic programs

Abstract is not available.

The Psalms of David, imitated in the language of the New Testament; and applied to the Christian state and worship. Together with Hymns and spiritual songs. In three books. I. Collected from the Scriptures. II. Composed on divine subjects. III. Prepared for the Lord's Supper.

"Hymns and spiritual songs. In three books" (213 p., 2d group) has special t.p. Book IV of Hymns and spiritual songs (72 p., 3d group) has special t.p. and separate pagination, with title: Hymns adapted to various subjects and occasions.

The Psalms of David, imitated in the language of the New Testament and applied to the Christian use and worship /

Twelve unnumbered pages bound between p. 584 and 585.

The Psalms of David, imitated in the language of the New Testament and applied to the Christian state and worship /

includes: Hymns and spirtual songs : in three books / by I Watts. p. [ccliii]-468, with a special t.p.

The Psalms of David, imitated in the language of the New Testament, and applied to the Christian state and worship.

Includes (p. [253]-460): Hymns and spritual songs. In three books. 1. Collected from the Scriptures. 2. Composed on divine subjects. 3. Prepared for the Lord's supper. By Isaac Watts ... Boston, 1819.