Unifiability in relation algebras and in products of S5

MaRDI QIDQ5501720zbMATH OpenFDO

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

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)

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

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)