DC pole | Wartość | Język |
dc.contributor.author | Dzik, Wojciech | - |
dc.contributor.author | Wróbel, Beniamin | - |
dc.date.accessioned | 2020-09-22T06:25:27Z | - |
dc.date.available | 2020-09-22T06:25:27Z | - |
dc.date.issued | 2015 | - |
dc.identifier.citation | Bulletin of the Section of Logic, Vol. 44 no. 1/2 (2015), s. 1-14 | pl_PL |
dc.identifier.issn | 2449-836X | - |
dc.identifier.issn | 0138-0680 | - |
dc.identifier.uri | http://hdl.handle.net/20.500.12128/16051 | - |
dc.description.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. | pl_PL |
dc.language.iso | en | pl_PL |
dc.rights | Uznanie autorstwa-Użycie niekomercyjne-Bez utworów zależnych 3.0 Polska | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/pl/ | * |
dc.subject | admissible rules | pl_PL |
dc.subject | passive rules | pl_PL |
dc.subject | unification | pl_PL |
dc.subject | projective unification | pl_PL |
dc.subject | almost structural completeness | pl_PL |
dc.subject | n-modal logic S5n | pl_PL |
dc.subject | relation algebras | pl_PL |
dc.subject | representable diagonal-free cylindric algebras | pl_PL |
dc.title | Unifiability and structural completeness in relation algebras and in products of modal logic S5 | pl_PL |
dc.type | info:eu-repo/semantics/article | pl_PL |
Pojawia się w kolekcji: | Artykuły (WNŚiT)
|