Algebraic logic and logical geometry. Two in one

DOI10.3103/S1063454113010081MaRDI QIDQ357775zbMATHOpenAlexFDO

Authors B. Plotkin

Publication date 13 August 2013

Published in Vestnik St. Petersburg University. Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3103/s1063454113010081

zbMATH Keywords

isotypic algebras

Mathematics Subject Classification ID

Knowledge representation (68T30) Other algebras related to logic (03G25)

Cites work

• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 521219 (Why is no real title available?)
• scientific article; zbMATH DE number 1522507 (Why is no real title available?)
• Algebraic logic and logically-geometric types in varieties of algebras
• Geometrical aspect of databases and knowledge bases.
• Homogeneity in the free group.
• Model Theory
• On genericity and weight in the free group

Cited in

(6)

• Action of endomorphism semigroups on definable sets
• Algebraic geometry in first-order logic
• Algebras, projective geometry, mathematical logic, and constructing the world: intersections in the philosophy of mathematics of A. N. Whitehead.
• Notes on the geometry of logic and philosophy
• Logical and set calculations in the framework of geometrical informatics paradigm
• Topologies of pointwise convergence in the first order languages and in affine spaces

This page was built for publication: Algebraic logic and logical geometry. Two in one

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q357775)