Computable contact algebras

DOI10.3233/FI-2019-1817MaRDI QIDQ5241409zbMATH OpenWikidataFDO

Authors Nikolay Bazhenov

Publication date 31 October 2019

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/FI-2019-1817

zbMATH Keywords

Boolean algebracomputable dimensioncomputable structurecontact algebracontact relationdegree spectrumelementary definabilityhereditary undecidabilityregion-based theory of space

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Undecidability and degrees of sets of sentences (03D35) Theory of numerations, effectively presented structures (03D45) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 5117075
• scientific article; zbMATH DE number 5117074
• Logics for extended distributive contact lattices
• Remarks on contact relations on Boolean algebras
• Distributive contact lattices: topological representations

Cited in

(6)

• HKSS-completeness of modal algebras
• Model completeness and _2-rules: the case of contact algebras
• scientific article; zbMATH DE number 2202279 (Why is no real title available?)
• On the effective universality of mereological theories
• Computable Heyting algebras with distinguished atoms and coatoms
• On computability-theoretic universality of Boolean-valued models

This page was built for publication: Computable contact algebras

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