Unifiability in relation algebras and in products of S5

zbMATH Open1357.03052MaRDI QIDQ5501720FDOQ5501720

Authors: Wojciech Dzik, Beniamin Wróbel 

Publication date: 14 August 2015

Full work available at URL: http://www.filozof.uni.lodz.pl/bulletin/pdf/44_12_1.pdf

Recommendations

• Almost structural completeness; an algebraic approach
• scientific article; zbMATH DE number 2015264
• Unifiability in extensions of K4
• On the variety generated by completions of representable relation algebras
• Algebras of Relations and Relevance Logic

zbMATH Keywords

admissible rulesalmost structural completenessunificationrelation algebrasprojective unificationpassive rules\(n\)-modal logic \(\mathrm{S5}^n\)representable diagonal-free cylindric algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cylindric and polyadic algebras; relation algebras (03G15)

Cited In (1)

• Almost structural completeness; an algebraic approach

This page was built for publication: Unifiability in relation algebras and in products of S5

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