RO EN
Category of representations of elementary knowledge. (English)
Authors: Plotkin T.
Abstract
The paper deals with the special geometric approach to the theory of knowledge representations. The corresponding algebraic model is based on the algebraic geometry in the First Order Logic. Algebraic sets ("varieties") are determined by arbitrary first order formulas.Dept. of Math. & Computer Science
Bar-Ilan University, 52-900 Ramat-Gan, Israel
E-mail:
Bar-Ilan University, 52-900 Ramat-Gan, Israel
E-mail:
Contents
- To the 35th anniversary of the Institute of Mathematics and Computer Science of the Academy of Sciences of the Republic of Moldova.
- On coverings in the lattice of linear topologies. (English)
- Radical assignments and radical classes. (English)
- On rings with a distributive lattice of pretorsions. (Russian)
- On product-closed radical classes of abelian groups. (English)
- Some remarks concerning nuclei on semiring. (English)
- The classes of divisible and reduced modules associated to the torsion theories. (English)
- Zero divisors in group-based algebras. Algebras without zero divisors. (English)
- Category of representations of elementary knowledge. (English)
- On endomorphism rimgs without nonzero nilpotent elements. II. (English)
- On the intersection of radical classes. (English)
- Vladimir Ivanovich Arnautov. A tribute in honor of his 60th birthday.
