The finitely axiomatizable complete theories of non-associative arrow frames


Khaled M. K. M. I.

Advances in Mathematics, vol.346, pp.194-218, 2019 (SCI-Expanded) identifier

  • Publication Type: Article / Article
  • Volume: 346
  • Publication Date: 2019
  • Doi Number: 10.1016/j.aim.2019.01.014
  • Journal Name: Advances in Mathematics
  • Journal Indexes: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Page Numbers: pp.194-218
  • Keywords: Arrow logic, Finitely axiomatizable theories, Relation algebras
  • Istanbul Medipol University Affiliated: No

Abstract

Arrow logic is a modal logic that is designed to talk about objects that can be illustrated as arrows. In this article, we consider the non-associative arrow logic NAL. We list all the finitely axiomatizable, complete and consistent theories of NAL. This gives an answer to the open problem, posed by I. Németi, addressing the atomicity of the free algebras of the class NA of non-associative relation algebras. We use the method of games as introduced to the fields of logic and algebra by R. Hirsch and I. Hodkinson. We also give a simple proof for the known fact that NAL is decidable through the finite model property.