http://hdl.handle.net/20.500.12128/16051
Title: | Unifiability and structural completeness in relation algebras and in products of modal logic S5 |
Authors: | Dzik, Wojciech Wróbel, Beniamin |
Keywords: | admissible rules; passive rules; unification; projective unification; almost structural completeness; n-modal logic S5n; relation algebras; representable diagonal-free cylindric algebras |
Issue Date: | 2015 |
Citation: | Bulletin of the Section of Logic, Vol. 44 no. 1/2 (2015), s. 1-14 |
Abstract: | Unifiability of terms (and formulas) and structural completeness in the variety of relation algebras RA and in the products of modal logic S5 is investigated. Non- unifiable terms (formulas) which are satisfiable in varieties (in logics) are exhibited. Consequently, RA and products of S5 as well as representable diagonal-free n-dimensional cylindric algebras, RDfn , are almost structurally complete but not structurally complete. In case of S5n a basis for admissible rules and the form of all passive rules are provided. |
URI: | http://hdl.handle.net/20.500.12128/16051 |
ISSN: | 2449-836X 0138-0680 |
Appears in Collections: | Artykuły (WNŚiT) |
File | Description | Size | Format | |
---|---|---|---|---|
Dzik_Unifiability_and_structural.pdf | 409,15 kB | Adobe PDF | View/Open |
Uznanie autorstwa - użycie niekomercyjne, bez utworów zależnych 3.0 Polska Creative Commons License