http://hdl.handle.net/20.500.12128/16051
Tytuł: | Unifiability and structural completeness in relation algebras and in products of modal logic S5 |
Autor: | Dzik, Wojciech Wróbel, Beniamin |
Słowa kluczowe: | admissible rules; passive rules; unification; projective unification; almost structural completeness; n-modal logic S5n; relation algebras; representable diagonal-free cylindric algebras |
Data wydania: | 2015 |
Źródło: | Bulletin of the Section of Logic, Vol. 44 no. 1/2 (2015), s. 1-14 |
Abstrakt: | 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 |
Pojawia się w kolekcji: | Artykuły (WNŚiT) |
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
Dzik_Unifiability_and_structural.pdf | 409,15 kB | Adobe PDF | Przejrzyj / Otwórz |
Uznanie autorstwa - użycie niekomercyjne, bez utworów zależnych 3.0 Polska Creative Commons