scientific article; zbMATH DE number 6964100

zbMath1506.08010MaRDI QIDQ4691922

A. Gvaramia, Boris I. Plotkin, Tatjana Plotkin, E. V. Aladova, Eugene Plotkin

Publication date: 24 October 2018

Full work available at URL: http://mathnet.ru/eng/timb249

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Categories of algebras (08C05) Foundations of algebraic geometry (14A99) Abstract algebraic logic (03G27)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multi-sorted logic, models, and logical geometry.
• Multi-sorted logic and logical geometry: some problems.
• Algebraic geometry in first-order logic
• Isotypeness of models and knowledge bases equivalence
• Cylindric and Polyadic Algebras
• Automorphisms of categories of free algebras of varieties
• Model Theory
• ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS
• A simpler set of axioms for polyadic algebras

This page was built for publication: